| 面向热点代码的路径搜索方法研究 |
| |
| 引用本文： | 刘杰,王嘉捷,任栋,王清贤.面向热点代码的路径搜索方法研究[J].计算机工程与设计,2013,34(2):519-522,544. |
| |
| 作者姓名： | 刘杰 王嘉捷 任栋 王清贤 |
| |
| 作者单位： | 1. 信息工程大学信息工程学院,河南郑州,450002
2. 中国信息安全测评中心,北京,100085 |
| |
| 基金项目： | 国家863高技术研究发展计划基金项目 |
| |
| 摘 要： | 程序测试研究表明代码安全缺陷聚集于热点代码。提出一种面向热点代码的路径搜索方法,在程序CFG(controlflow graph)图上搜索分支语句与热点代码之间的最短路径,采用符号执行方法生成路径约束判断其可达性,结合多热点搜索优化策略进一步消除不可达子路径,从而快速生成能够覆盖热点代码的测试用例。实验结果表明,与DFS(depth-firstsearch)和BFS(best-first search)方法相比,在达到相同热点代码覆盖率情形下,该方法能够有效减少测试路径并缩短搜索时间。
|
| 关 键 词： | 热点代码 符号执行 路径遍历 最短路径 约束求解 |
Research on hot spot oriented path searching method |
| |
| LIU Jie
,
WANG Jia-jie
,
REN Dong
,
WANG Qing-xian.Research on hot spot oriented path searching method[J].Computer Engineering and Design,2013,34(2):519-522,544. |
| |
| Authors: | LIU Jie WANG Jia-jie REN Dong WANG Qing-xian |
| |
| Affiliation: | 1(1.Institute of Information Engineering,Information Engineering University,Zhengzhou 450002,China; 2.China Information Technology Security Evaluation Center,Beijing 100085,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
