基于程序路径分析的有效蜕变测试
蜕变测试对于预期输出难以构造的程序是实用和高效的.作者在系统研究已有蜕变测试方法和路径分析技术的基础上,首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则,以在多个不同的层次上定义蜕变测试用例集的充分性;然后给出了3种能够生成相应测试用例集的算法;最后通过变异分析的方法证实这些算法的有效性.实验结果表明,蜕变关系和测试准则的选取直接影响到测试的效果,另外,使用蜕变关系全路径覆盖可满足性算法(APCEMsT)可以快速准确地发现待测程序中的错误,而生成的测试用例的数量却比传统技术要少.
软件测试、蜕变测试、oracle问题、蜕变关系、路径覆盖准则
32
TP311(计算技术、计算机技术)
国家杰出青年科学基金项目60425206;国家自然科学基金重大研究计划90818027;重点项目60633010;国家自然科学基金项目60773104;国家"八六三"高技术研究发展计划目标导向类项目2009AA012147
2009-06-16(万方平台首次上网日期,不代表论文的发表时间)
共12页
1002-1013