0
喜欢
0
书签
声明论文
Mutation Testing in the Refinement Calculus   
摘  要:   Abstract. This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contracts ranging from formal specifications to programs. It is demonstrated that refinement and its dual abstraction are the key notions leading to a precise and yet simple theory of mutation testing. The refinement calculus of Back and von Wright is used to express the concepts like contracts, useful mutations, test-cases and test-coverage. Keywords: formal methods, formal specifications, mutation testing, refinement, abstraction, test-case gen-
发  表:   Formal Aspects of Computing  2003

论文统计图
共享有7个版本
 [展开全部版本] 

Bibtex
创新指数 
阅读指数 
重现指数 
论文点评
还没有人点评哦

Feedback
Feedback
Feedback
我想反馈:
排行榜