论文部分内容阅读
标记变量问题是基于搜索的软件测试数据生成的关键问题之一。本文提出一种基于目标语句占优关系的软件可测试性转化理论与方法，思想是：对于涉及标记变量问题的目标语句，如果存在另一目标语句（集），使得该目标语句（集）占优原有目标语句，则用新的目标语句（集）代替原有目标语句生成测试数据，从而消除标记变量的不利影响。将本文方法应用于典型被测程序，实验结果表明，该方法可以有效解决标记变量问题，从而提高测试数据的生成效率。