符号执行中高语句覆盖率的路径调度

• 作者: 李朝君 蒋凡
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 符号执行 路径调度 约束求解 软件测试
• 年，卷（期）: 2010,（14）
• 所属期刊栏目: 研发、设计、测试
• 页码范围: 66-68,125
• 分类号: TP311.5
• 字数: 4384字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.14.019

摘要

符号执行和约束求解相结合的软件测试方法采用深度优先搜索的路径调度算法会造成测试路径聚居性问题,实际软件中存在路径爆炸,使得采用该算法的测试语句覆盖率低下.提出一种新的PSHC路径调度算法.先将路径分为前缀和后缀两部分,每次测试总是试图寻找这样的路径,该路径与已存在的路径具有最短的相同前缀,并且包含尽可能多的尚未被访问过的基本块作为其后缀.基于Phoenix漏洞发掘工具的实验结果表明,PSHC算法可以迅速提高测试的语句覆盖率到100%,有效解决由于深度优先搜索的路径聚居性导致的测试代码的局部性问题,PSHC算法产生的路径数与循环深度无关,软件规模越大,该算法的表现越好.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋凡	中国科学技术大学计算机科学技术系	97	867	16.0	25.0
2	李朝君	中国科学技术大学计算机科学技术系	2	12	2.0	2.0