基于回溯与引导的关键代码区域覆盖的二进制程序-电子与信息学报.pdfVIP

第34 卷第1 期 电 子 与 信 息 学 报 Vol.34No.1 2012 年1 月 Journal of Electronics Information Technology Jan. 2012 基于回溯与引导的关键代码区域覆盖的二进制程序测试技术研究 崔宝江①② 梁晓兵*① 王 禹② 王建新③ ①(北京邮电大学计算机学院 北京 100876) ②(中国信息安全测评中心 北京 100085) ③(北京林业大学信息学院 北京 100083) 摘 要：基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法，但程序的路径数量往往呈指数增长，对 程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看，