基于路径分析和迭代蜕变测试的Bug检测

• 作者: 张普含 董国伟 贾依真 郭涛
• 来源期刊: 清华大学学报（自然科学版）
• 学科: 工学
• 关键词: 路径分析 迭代蜕变测试 蜕变关系 bug检测
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 信息安全
• 页码范围: 60-67
• 页数: 8页
• 分类号: TP393
• 语种: 中文

摘要

该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法.任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试.蜕变测试(MT)能够有效解决此类问题,但随机性较大.该文针对二元蜕变关系,提出了2种迭代的蜕变测试算法AESIST和AEMIST,在依据此2种方法的测试中,上一轮生成的测试用例可以作为下一轮的原始用例而生成新的测试用例,并且所有的测试用例满足蜕变关系全路径覆盖准则(APCEM).实验结果表明:2种算法产生的测试用例能够在尽量少地运行程序的情况下有效发现程序中的错误.因此,本文提出的2种迭代蜕变测试算法在程序bug检测方面是高效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董国伟		7	30	1.0	5.0
2	郭涛		16	158	7.0	12.0
3	张普含		5	1	1.0	1.0
4	贾依真		2	2	1.0	1.0