基于代数式规范的变异测试方法的设计与实现

DESIGN AND IMPLEMENTATION OF AN APPROACH FOR MUTATION TEST APPLIED TO ALGEBRAIC SPECIFICATION

软件测试是软件工程中保证软件产品质量的重要组成部分。变异测试是一种衡量测试用例集完备性的测试策略,也被用于生成完备的测试用例集。为了提出一种基于代数式规范的新的变异测试方法,为此设计了12类针对代数式规范的变异操作符,对5个代数式规范进行了实验,并进行了结果分析。结果表明基于代数式规范的变异测试方法相比基于代码的传统变异测试方法,生成更少的变异体,也大幅度提升了变异测试的效率。

Software test is an important part of software engineering, which grantees the quality of software. Mutation test is a test strategy to measure the completeness of test ease set and can be used to generate complete test case set as well. This paper is going to introduce a new kind of mutation test, which is applied to algebraic specification. In this paper, 12 mutation operators are designed and 5 different algebraic specifications are experimented and the analysis of the results is made. The result of experiments shows that the number of mutants generated by the mutation test applied to algebraic specification is much lower than the one generated by mutation test applied to source code, which means the efficiency is enhanced.