《计算机学报》文章摘要   全文下载
文章题目	基于程序路径分析的有效蜕变测试
作者	董国伟1) 聂长海2),3) 徐宝文2),3)
作者单位	1)(东南大学计算机科学与工程学院 南京 210096) 2)(江苏省软件质量研究所 南京 210096) 3)(南京大学计算机软件新技术国家重点实验室 南京 210093)
发表年份	2009
发表月份	5期(1002—1013)
文章摘要	摘要 蜕变测试对于预期输出难以构造的程序是实用和高效的. 作者在系统研究已有蜕变测试方法和路径分析技术的基础上，首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则，以在多个不同的层次上定义蜕变测试用例集的充分性；然后给出了3种能够生成相应测试用例集的算法；最后通过变异分析的方法证实这些算法的有效性.实验结果表明，蜕变关系和测试准则的选取直接影响到测试的效果，另外，使用蜕变关系全路径覆盖可满足性算法(APCEMST)可以快速准确地发现待测程序中的错误，而生成的测试用例的数量却比传统技术要少. 关键词 软件测试;蜕变测试;oracle问题;蜕变关系;路径覆盖准则 中图法分类号 TP311 DOI号: 10.3724/SP.J.1016.2009.01002