CAJ | 학술논문

变异分析是研究软件测试的一种有效手段，在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件，但在蜕变测试中，测试用例满足变异测试中的条件不一定能够杀死变异，需要比一般的变异测试更严格的测试数据才能杀死变异。从变异测试中杀死变异的三类条件出发，探究蜕变测试数据杀死变异的条件。通过三角形实验分析蜕变测试用例满足的条件以及测试结果，总结蜕变测试用例杀死变异的规律，提出蜕变测试用例杀死变异的一种充分性条件。
변이분석시연구연건측시적일충유효수단，재세변측시적연구중야경상채용저충방법。측시수거살사변이수요만족일정적조건，단재세변측시중，측시용례만족변이측시중적조건불일정능구살사변이，수요비일반적변이측시경엄격적측시수거재능살사변이。종변이측시중살사변이적삼류조건출발，탐구세변측시수거살사변이적조건。통과삼각형실험분석세변측시용례만족적조건이급측시결과，총결세변측시용례살사변이적규률，제출세변측시용례살사변이적일충충분성조건。
Mutation analysis is an effective way of researching software testing, and it is frequently used in metamorphic testing. The test data is hedged with some given qualifications to kill the mutants. As for metamorphic testing, things may go far beyond that, even more restricted qualifications need to be satisfied with. On the basis of studying the three traditional kinds of conditions in mutation testing, this paper tried to figure out the qualifications for the metamorphic test data to kill the mutants. A triangle experiment was carried out to research the qualifications for the metamorphic test data. Through analyzing the results, this paper came to a conclusion of its regular pattern to kill mutants, and thus put forward a brand new sufficiency condition.