[發(fā)明專利]對軟件程序進行動態(tài)安全檢查的方法及設備

在審

• 申請?zhí)枺?/td>: 202110766802.3
• 申請日: 2021-07-07
• 公開（公告）號: CN113918446A
• 公開（公告）日: 2022-01-11
• 發(fā)明（設計）人: A·薩卡爾;S·格賴納;H·羅爾;R·阿馬爾納特
• 申請（專利權(quán)）人: 羅伯特·博世有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 張濤;劉春元

1.一種借助于模糊來測試程序代碼（p）的計算機實現(xiàn)的方法，其中分別使用由一個或多個輸入元素（i）組成的變化的輸入序列（i1...in）為待測試的程序代碼（p）執(zhí)行有狀態(tài)模糊過程，其中每個有狀態(tài)模糊過程使用所述輸入序列（i₁...i_n）的連續(xù)輸送的輸入元素（i）來進行程序執(zhí)行，并且在使用分別輸送的輸入元素（i）執(zhí)行了之后存儲程序流程觀察（obs），所述程序流程觀察說明是否出現(xiàn)了程序執(zhí)行錯誤或已經(jīng)遍歷了所述程序代碼（p）的哪些程序路徑，其中將所述輸入序列（i₁...i_n）的輸入元素（i）輸送給所執(zhí)行的程序代碼而無需將所述程序代碼（p）的程序狀態(tài)重置為預給定的程序狀態(tài)。

2.根據(jù)權(quán)利要求1所述的方法，其中，在每次執(zhí)行有狀態(tài)模糊過程之前都生成所述輸入序列（i₁...i_n），其中所述輸入序列（i₁...i_n）的生成包括替換或插入輸入元素（i），所述輸入元素特別是由模糊工具根據(jù)啟發(fā)式方法依據(jù)先前的程序執(zhí)行的結(jié)果生成，所述輸入元素取決于所述程序代碼（p）的一個或多個最后的執(zhí)行。

3.根據(jù)權(quán)利要求1或2所述的方法，其中，可以在每次執(zhí)行所述有狀態(tài)模糊過程之前根據(jù)輔助輸入序列（I₁...I_n）來生成所述輸入序列（i₁...i_n），其中根據(jù)使用兩個從輸入序列集合（is）中生成的輸入序列（i₁...i_n）進行的程序流程觀察（obs1，obs2）之間的差異來生成所述輔助輸入序列（I₁...I_n），其中特別是所述輸入序列（i₁...i_n）之一具有一系列輸入元素（i），所述一系列輸入元素是另一個輸入序列（i₁...i_n）的組成部分。

4.根據(jù)權(quán)利要求1或2所述的方法，其中，在每次執(zhí)行所述模糊過程之一之前根據(jù)輔助輸入序列（I₁...I_n）來生成所述輸入序列（i₁...i_n），其中根據(jù)所述程序代碼（p）在使用所述輸入序列（i₁...i_n）執(zhí)行之后所具有的程序狀態(tài)來生成所述輔助輸入序列（I₁...I_n）。

5.根據(jù)權(quán)利要求1或2所述的方法，其中，在每次執(zhí)行所述有狀態(tài)模糊過程之一之前根據(jù)輔助輸入序列（I₁...I_n）來生成所述輸入序列（i₁...i_n），其中根據(jù)靜態(tài)程序分析的結(jié)果依據(jù)預給定的程序狀態(tài)來確定所述輔助輸入序列（I₁...I_n），其中為所述有狀態(tài)模糊過程預給定不同的程序狀態(tài)。

6.根據(jù)權(quán)利要求1至5中任一項所述的方法，其中，所述輸入元素（i）中的一個、多個或全部包括代碼、字符或字符串。

7.根據(jù)權(quán)利要求1至6中任一項所述的方法，其中，通過劃分所述輸入序列集合（is）的輸入元素來為所述有狀態(tài)模糊過程生成一個或多個輸入序列（i₁...i_n）。