買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網恭喜杭州電子科技大學申請的專利基于未覆蓋邊的有狀態協議模糊測試方法及系統獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN119621527B 。

龍圖騰網通過國家知識產權局官網在2025-05-09發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202510154118.8，技術領域涉及：G06F11/3604；該發明授權基于未覆蓋邊的有狀態協議模糊測試方法及系統是由徐向華;洪宇;王然設計研發完成，并于2025-02-12向國家知識產權局提交的專利申請。

本基于未覆蓋邊的有狀態協議模糊測試方法及系統在說明書摘要公布了：本發明涉及基于未覆蓋邊的有狀態協議模糊測試方法，其方法包括如下步驟：S1：程序預處理；S2：對種子進行模糊測試；S3：狀態選擇；S4：種子調度。其系統包括測試準備模塊、模糊測試模塊、狀態選擇模塊、種子調度模塊。本發明通過對待測協議實體程序的源代碼進行靜態分析捕獲其中的枚舉類型變量的分配和使用。本發明通過分析程序控制流程圖上未被模糊器探索到的代碼塊信息，來評估一個種子在模糊不同狀態時的潛在收益，并分析種子觸發的狀態信息，讓模糊器在選擇更容易覆蓋新程序分支的狀態和種子，使得模糊測試系統的整體漏洞檢測效率最大化。

本發明授權基于未覆蓋邊的有狀態協議模糊測試方法及系統在權利要求書中公布了：1.基于未覆蓋邊的有狀態協議模糊測試方法，其特征在于：包括如下步驟：S1：程序預處理；對被測程序進行靜態分析，構建程序控制流程圖，在樁代碼中識別被測程序代碼基本塊的轉移分支，對被測程序進行編譯插樁，初始化模糊器狀態和種子；S2：對種子進行模糊測試；劃分種子的報文序列，對種子的報文序列進行變異并生成成測試用例，將測試用例發送給被測程序，保存覆蓋了新程序分支的種子，并分析種子的響應信息和未覆蓋信息；S3：狀態選擇；使用狀態的未覆蓋信息計算狀態價值，根據狀態價值選擇目標狀態進行模糊測試，并獲取目標狀態的種子隊列；S4：種子調度；從目標狀態的種子隊列中選擇種子，使用種子抵達目標狀態時的未覆蓋邊、執行時間等信息計算種子價值，根據種子價值選擇種子進行模糊測試；所述步驟S2中具體包括如下步驟：S2.1：遍歷當前種子的報文序列并標記觸發目標狀態的報文位置，生成可以使被測程序抵達目標狀態的前綴報文序列，遍歷前綴報文序列之后的報文序列，觸發狀態的報文序列作為中綴報文序列，用于變異，剩下的報文序列為后綴報文序列；S2.2：計算種子變異能量，遍歷種子報文序列，根據種子覆蓋程序分支的能力和執行時間以及變異輪次，以及觸發目標狀態時具有的未覆蓋邊數量，計算變異能量，計算公式如下： ，其中，表示當前種子覆蓋的程序分支數量和平均覆蓋分支比例，表示當前種子所處的種子深度，表示當前種子觸發目標狀態時，包含的未覆蓋邊的數量，表示種子的執行時間；S2.3：分配變異次數；根據變異能量為種子分配整個變異次數；遍歷每個前綴報文序列，根據抵達目標狀態時報文的未覆蓋信息價值，在所有前綴報文序列的未覆蓋信息價值的比例分配變異次數，計算公式如下： ，其中，表示前綴報文序列分配的變異次數，表示前綴報文序列包含的未覆蓋邊數量，表示整個種子分配的變異次數，表示所有前綴報文序列包含的未覆蓋邊數量和；S2.4：對種子的中綴報文序列應用變異策略，包括位翻轉、位加減、位替換，使用前綴報文序列、變異完的中綴報文序列、后綴報文序列組成測試用例，啟動被測程序，使用socket套接字將測試用例發送給被測程序，并接收響應報文；S2.5：當測試用例完成發送并接收完響應結果后，讀取共享內存中的覆蓋率位圖，分析覆蓋率位圖，當覆蓋了新的程序分支時，將測試用例保存為種子，并且將全局的覆蓋率位圖中該分支標記為已覆蓋，更新全局的覆蓋率位圖；S2.6：分析種子的響應報文，為種子建立觸發的狀態隊列和報文結構，重新發送當前測試用例，記錄每個報文發送后，收到響應報文時的未覆蓋位圖，遍歷全局未覆蓋位圖和全局覆蓋率位圖以及全局未覆蓋位圖的每個位，記錄全局未覆蓋位圖上模糊次數小于5且沒有覆蓋的程序分支索引號，并在全局未覆蓋位圖中該程序分支上記錄當前觸發的狀態；S2.7：遍歷種子觸發的狀態隊列，將種子加入到觸發狀態的種子隊列中；S2.8：更新覆蓋邊最優種子集，遍歷每個程序分支，結合觸發的狀態數量、種子執行時間和未覆蓋信息，計算種子的優先級，記錄覆蓋當前程序分支的最優種子，計算公式如下： ，其中，表示種子觸發的狀態數量，表示種子包含的未覆蓋邊數量，表示種子的執行時間。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人杭州電子科技大學，其通訊地址為：310018 浙江省杭州市錢塘區白楊街道2號大街1158號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。