论文部分内容阅读
本文提出了一种新的面向变异测试的测试数据生成方法，它的主要特点是根据多个变异体的条件系统产生测试数据。它首先得到每个变异体的条件系统，然后将同一点产生的变异体的必要性条件组合起来，形成组合后的条件系统，并将该系统转化为程序路径，最后用一种改进后的迭代松弛法求解程序路径并得到测试数据。设计并实现了针对Java程序的面向变异的测试数据生成工具MOSSer。该工具包含源程序分析器、条件系统构造器、必要性条件组合器、路径构造器和路径求解器等几个组成部分，它能够为具有复杂结构的Java程序生成具有较高变异测试充分度的测试数据集，它的主要优点为：生成的测试数据效率高和生成代价小。对该工具的设计与实现进行了详细的介绍。通过三个实验验证了本方法的有效性和工具的实用性。