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

• 作者: 任栋 刘杰 王嘉捷 王清贤
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 热点代码 符号执行 路径遍历 最短路径 约束求解
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 软件与算法
• 页码范围: 519-522,544
• 页数: 5页
• 分类号: TP311
• 字数: 4600字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王清贤	信息工程大学信息工程学院	64	397	11.0	16.0
2	王嘉捷		7	5	2.0	2.0
3	刘杰	信息工程大学信息工程学院	2	29	1.0	2.0
4	任栋	信息工程大学信息工程学院	1	0	0.0	0.0