CAJ | 학술논문

标记变量问题是基于搜索的软件测试数据生成的关键问题之一。本文提出一种基于目标语句占优关系的软件可测试性转化理论与方法，思想是：对于涉及标记变量问题的目标语句，如果存在另一目标语句（集），使得该目标语句（集）占优原有目标语句，则用新的目标语句（集）代替原有目标语句生成测试数据，从而消除标记变量的不利影响。将本文方法应用于典型被测程序，实验结果表明，该方法可以有效解决标记变量问题，从而提高测试数据的生成效率。
표기변량문제시기우수색적연건측시수거생성적관건문제지일。본문제출일충기우목표어구점우관계적연건가측시성전화이론여방법，사상시：대우섭급표기변량문제적목표어구，여과존재령일목표어구（집），사득해목표어구（집）점우원유목표어구，칙용신적목표어구（집）대체원유목표어구생성측시수거，종이소제표기변량적불리영향。장본문방법응용우전형피측정서，실험결과표명，해방법가이유효해결표기변량문제，종이제고측시수거적생성효솔。
Flag problem is a key problem in search based software test data generation .This study proposed a testability transformation method based on the dominant relationship of target statements .The basic idea is that :for a target statement involving flag variables ,if another target statement (or target statement set ) dominates the original one ,then the original target statement is substituted with the new one to generate test data .Experimental results showed that the proposed method can effectively solve the flag problem ,therefore improve the efficiency of generating test data .