计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2013年
2期
519-522,544
,共5页
刘杰%王嘉捷%任栋%王清贤
劉傑%王嘉捷%任棟%王清賢
류걸%왕가첩%임동%왕청현
热点代码%符号执行%路径遍历%最短路径%约束求解
熱點代碼%符號執行%路徑遍歷%最短路徑%約束求解
열점대마%부호집행%로경편력%최단로경%약속구해
程序测试研究表明代码安全缺陷聚集于热点代码.提出一种面向热点代码的路径搜索方法,在程序CFG (control flow graph)图上搜索分支语句与热点代码之间的最短路径,采用符号执行方法生成路径约束判断其可达性,结合多热点搜索优化策略进一步消除不可达子路径,从而快速生成能够覆盖热点代码的测试用例.实验结果表明,与DFS (depth-first search)和BFS (best-first search)方法相比,在达到相同热点代码覆盖率情形下,该方法能够有效减少测试路径并缩短搜索时间.
程序測試研究錶明代碼安全缺陷聚集于熱點代碼.提齣一種麵嚮熱點代碼的路徑搜索方法,在程序CFG (control flow graph)圖上搜索分支語句與熱點代碼之間的最短路徑,採用符號執行方法生成路徑約束判斷其可達性,結閤多熱點搜索優化策略進一步消除不可達子路徑,從而快速生成能夠覆蓋熱點代碼的測試用例.實驗結果錶明,與DFS (depth-first search)和BFS (best-first search)方法相比,在達到相同熱點代碼覆蓋率情形下,該方法能夠有效減少測試路徑併縮短搜索時間.
정서측시연구표명대마안전결함취집우열점대마.제출일충면향열점대마적로경수색방법,재정서CFG (control flow graph)도상수색분지어구여열점대마지간적최단로경,채용부호집행방법생성로경약속판단기가체성,결합다열점수색우화책략진일보소제불가체자로경,종이쾌속생성능구복개열점대마적측시용례.실험결과표명,여DFS (depth-first search)화BFS (best-first search)방법상비,재체도상동열점대마복개솔정형하,해방법능구유효감소측시로경병축단수색시간.
