面向热点代码的路径搜索方法研究

摘要：

程序测试研究表明代码安全缺陷聚集于热点代码.提出一种面向热点代码的路径搜索方法,在程序CFG (control flow graph)图上搜索分支语句与热点代码之间的最短路径,采用符号执行方法生成路径约束判断其可达性,结合多热点搜索优化策略进一步消除不可达子路径,从而快速生成能够覆盖热点代码的测试用例.实验结果表明,与DFS (depth-first search)和BFS (best-first search)方法相比,在达到相同热点代码覆盖率情形下,该方法能够有效减少测试路径并缩短搜索时间.

关键词：热点代码、符号执行、路径遍历、最短路径、约束求解

所属期刊栏目：34

分类号：TP311(计算技术、计算机技术)

资助基金：国家863高技术研究发展计划基金项目2008AA01Z420

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

页数：共5页

页码：519-522,544