基于变异分析的蜕变测试充分性条件

变异分析是研究软件测试的一种有效手段，在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件，但在蜕变测试中，测试用例满足变异测试中的条件不一定能够杀死变异，需要比一般的变异测试更严格的测试数据才能杀死变异。从变异测试中杀死变异的三类条件出发，探究蜕变测试数据杀死变异的条件。通过三角形实验分析蜕变测试用例满足的条件以及测试结果，总结蜕变测试用例杀死变异的规律，提出蜕变测试用例杀死变异的一种充分性条件。