论文部分内容阅读
蜕变测试对于预期输出难以构造的程序是实用和高效的．作者在系统研究已有蜕变测试方法和路径分析技术的基础上，首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则，以在多个不同的层次上定义蜕变测试用例集的充分性；然后给出了3种能够生成相应测试用例集的算法；最后通过变异分析的方法证实这些算法的有效性．实验结果表明，蜕变关系和测试准则的选取直接影响到测试的效果，另外，使用蜕变关系全路径覆盖可满足性算法（APCEMST）可以快速准确地发现待测程序中的错误，而生成的测试用例的数量却比传统技术要少．