[發明專利]一種基于轉換測試的結構化模糊測試方法

有效

• 申請號: 202110371590.9
• 申請日: 2021-04-07
• 公開（公告）號: CN112905493B
• 公開（公告）日: 2023-07-18
• 發明（設計）人: 龐成賓;茅兵
• 申請（專利權）人: 南京大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 重慶市諾興專利代理事務所(普通合伙) 50239
• 代理人: 劉興順

1.一種基于轉換測試的結構化模糊測試方法，其特征在于：包括如下步驟：

S1、對于需要測試的程序進行獲取，將其輸入測試系統內；

S2、根據BGP-4協議構建協議測試狀態機，并附加一份協議文檔說明，BGP-4協議具有六種狀態；

S3、生成引導序列與特征序列；

S4、選擇狀態序列；

S5、利用模糊器生成測試用例，模糊器類型可分為本地模糊器與遠程模糊器兩種；

S6、啟動需要測試程序，輸入測試用例命令，進行模糊測試；

S7、生成測試用例執行路徑，觀察程序運行過程中，是否出現出錯的情況；

S8、若出現程序錯誤，則對于測試用例進行記錄，若并未出現錯誤，則繼續執行該測試用例；

S9、當測試用例執行完畢，進行自動檢查；

S10、當自動檢查完畢后，若程序正常運行，并未出現錯誤，則說明程序通過測試，反之則并未通過測試；

S11、對于上述過程中，輸入的測試用例進行保存導入數據庫內，進行定量分析，其中數據庫有三個表，分別為代碼表、用例執行信息表與異常表，代碼表主要用來存儲程序的源代碼；用例執行信息表主要用來存儲用例執行的各種信息，包括測試用例、執行路徑、執行結果；異常表主要存儲導致程序出現異常時CUP各寄存器以及堆棧中的信息；

S12、對于出現的錯誤位置進行分析。

2.根據權利要求1所述的一種基于轉換測試的結構化模糊測試方法，其特征在于，所述S3中，利用測試狀態機生成引導序列與特征序列。

3.根據權利要求1所述的一種基于轉換測試的結構化模糊測試方法，其特征在于，所述S6中，啟動需要測試程序，輸入測試用例命令，進行模糊測試，模糊測試分為基于變異的模糊測試和基于生成的模糊測試兩類。

4.根據權利要求1所述的一種基于轉換測試的結構化模糊測試方法，其特征在于，所述S7中，執行路徑的創建方法為在程序的源代碼中進行插樁，根據程序的執行結果來得到一個測試用例的執行路徑，許多語句塊只要語句塊的第一條指令被執行，其后面的所有語句都會被執行，觀察程序運行過程中，是否出現出錯的情況。

5.根據權利要求1所述的一種基于轉換測試的結構化模糊測試方法，其特征在于，所述S8中，若出現程序錯誤，則對于測試用例進行記錄，同時對于程序出錯位置進行記錄，若并未出現錯誤，則繼續執行該測試用例。

6.根據權利要求1所述的一種基于轉換測試的結構化模糊測試方法，其特征在于，所述S9中，當測試用例執行完畢，進行自動檢查，檢查是否還具有其他的測試用例并未執行，若有則重新輸入S6中，進行執行。

7.根據權利要求1所述的一種基于轉換測試的結構化模糊測試方法，其特征在于，所述S12中，對于出現的錯誤位置進行分析，利用數據庫強大的數據處理能力，分析錯路徑中每條語句的可疑度。