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

摘要：

任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但oracle问题经常制约到此类软件的测试.蜕变测试(MT)能够有效解决此类问题,但随机性较大.本文针对二元蜕变关系,提出了两种迭代的蜕变测试算法AESIST和AEMIST,基于它们生成的测试用例集满足蜕变关系全路径覆盖准则(APCEM).实验结果表明,两种算法产生的测试用例能够更加有效地发现软件中的bug.

关键词： 任务关键软件 迭代蜕变测试 路径分析 信息安全

作者: 董国伟 郭涛 张普含 贾依真

作者单位: 中国信息安全测评中心,北京,100085

会议类型: 国内会议

会议名称: 第六届信息安全漏洞分析与风险评估大会

会议地点: 北京

会议语种:中文

页码: 211-224

在线出版日期: 2013-12-08（万方平台首次上网日期，不代表论文的发表时间）