[發明專利]一種基于單元測試的軟件脆弱性測試方法

無效

• 申請號: 201110380418.6
• 申請日: 2011-11-25
• 公開（公告）號: CN102495796A
• 公開（公告）日: 2012-06-13
• 發明（設計）人: 郭世澤;趙靜;肖奇學;朱峻茂;郭瑞旭;房珊瑤;楊朝紅;吳志勇;沈偉;王雄;李亞輝;陳卓;王巖
• 申請（專利權）人: 中國人民解放軍總參謀部第五十四研究所
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京理工大學專利中心 11120
• 代理人: 張利萍;高燕燕

1.基于單元測試的軟件脆弱性測試方法，其特征在于，包括以下步驟：

第一步：加載運行目標測試程序，即測試對象，給定程序輸入驅動程序執行；

第二步：基于動態二進制插樁監控程序運行時狀態，收集程序的運行時信息，判斷程序路徑各個環節的屬性，識別各個代碼區的屬性并進行標記；

第三步：分析程序路徑各個環節的屬性，將路徑劃分成各個單元，根據配置對各個單元進行符號執行，驅動程序執行不同分支；每個單元對應不同的代碼區，對相應單元執行情況進行標記和歸類；

第四步：在程序執行各個不同分支路徑過程中，分析路徑的屬性和程序的行為，基于同一根節點下的不同子路徑，在各個單元上進行符號執行；基于各個單元前后執行的獨立性，在每一個域上單獨針對一個路徑單元進行測試；

第五步：基于測試需要和環境配置，對各個域提交的結果進行匯總，判斷程序是否存在設計或實現缺陷。

2.如權利要求1所述的基于單元測試的軟件脆弱性測試方法，其特征在于，所述的基于動態二進制插樁監控的詳細步驟如下：模擬器在執行目標程序時，將程序指令翻譯為等價的微指令，依據物理機器體系結構將微指令轉換為本地指令執行；在指令翻譯前，模擬器即可添加額外代碼，完成對程序的動態插樁；動態二進制插樁包括收集指令的機器碼、指令地址、程序運行上下文信息、程序溢出檢查。

3.如權利要求1或2所述的基于單元測試的軟件脆弱性測試方法，其特征在于，所述的符號執行的方法為：符號執行的輸入被標記為代表任意數據的符號值，程序執行過程中輸入符號相關的表達式，當程序發生分支時，分支條件即可表達為輸入相關的布爾方程，不同的布爾方程反應不同的程序路徑反應不同的程序輸入，對符號方程進行變換求解，即可以自動生成程序的輸入，從而提高測試的路徑覆蓋率。

4.如權利要求1或2所述的基于單元測試的軟件脆弱性測試方法，其特征在于，所述的程序是否存在缺陷是通過斷言來實現的。