Using compiler optimization techniques to detect equivalent mutants
Using compiler optimization techniques to detect equivalent mutants
复制标题
DOI：
10.1002/stvr.4370040303
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
A. Offutt;W. Craft
中科院分区：
文献类型：
--
作者：
A. Offutt;W. Craft
突变分析是一种软件测试技术，它要求测试人员生成测试数据，以发现特定的、定义良好的错误。突变测试执行同一程序的许多略有不同的版本，称为突变，以评估用于测试程序的数据的质量。尽管这些突变是由自动化方法有效地生成和执行的，但许多突变在功能上与原始程序相同，对测试没有用处。识别和消除等效突变体目前是手工完成的，这是一项耗时且艰巨的任务。这个问题是目前突变检测实际应用的主要障碍。
Mutation analysis is a software testing technique that requires the tester to generate test data that will find specific, well‐defined errors. Mutation testing executes many slightly differing versions, called mutants, of the same program to evaluate the quality of the data used to test the program. Although these mutants are generated and executed efficiently by automated methods, many of the mutants are functionally equivalent to the original program and are not useful for testing. Recognizing and eliminating equivalent mutants is currently done by hand, a time‐consuming and arduous task. This problem is currently a major obstacle to the practical application of mutation testing.