[發(fā)明專利]有狀態(tài)網(wǎng)絡(luò)協(xié)議的模糊測(cè)試方法、裝置及存儲(chǔ)介質(zhì)

在審

• 申請(qǐng)?zhí)枺?/td>: 202010132978.9
• 申請(qǐng)日: 2020-02-29
• 公開（公告）號(hào): CN113326181A
• 公開（公告）日: 2021-08-31
• 發(fā)明（設(shè)計(jì)）人: 欒俊超
• 申請(qǐng)（專利權(quán)）人: 華為技術(shù)有限公司
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36;H04L12/24;H04L12/26
• 代理公司: 北京三高永信知識(shí)產(chǎn)權(quán)代理有限責(zé)任公司 11138
• 代理人: 顏晶

1.一種有狀態(tài)網(wǎng)絡(luò)協(xié)議的模糊測(cè)試方法，其特征在于，應(yīng)用于模糊測(cè)試器，所述方法包括：

生成用于對(duì)有狀態(tài)網(wǎng)絡(luò)協(xié)議的第一協(xié)議狀態(tài)進(jìn)行模糊測(cè)試的測(cè)試用例，以及確定所述第一協(xié)議狀態(tài)對(duì)應(yīng)的程序執(zhí)行信息；

將測(cè)試用例發(fā)送給所述目標(biāo)程序，以對(duì)所述第一協(xié)議狀態(tài)進(jìn)行模糊測(cè)試，所述目標(biāo)程序使用所述有狀態(tài)網(wǎng)絡(luò)協(xié)議；

將所述程序執(zhí)行信息發(fā)送給監(jiān)控器，由所述監(jiān)控器根據(jù)所述程序執(zhí)行信息和所述目標(biāo)程序的執(zhí)行路徑，確定所述測(cè)試用例的質(zhì)量分?jǐn)?shù)；

當(dāng)接收到所述監(jiān)控器發(fā)送的所述質(zhì)量分?jǐn)?shù)時(shí)，若所述質(zhì)量分?jǐn)?shù)大于或等于分?jǐn)?shù)閾值，則根據(jù)所述測(cè)試用例生成用于對(duì)所述第一協(xié)議狀態(tài)進(jìn)行模糊測(cè)試的新測(cè)試用例。

2.如權(quán)利要求1所述的方法，其特征在于，所述方法還包括：

根據(jù)所述有狀態(tài)網(wǎng)絡(luò)協(xié)議的說明信息構(gòu)建Petri網(wǎng)模型，所述Petri網(wǎng)模型用于描述協(xié)議狀態(tài)、遷移關(guān)系以及協(xié)議狀態(tài)對(duì)應(yīng)的程序執(zhí)行信息；

所述確定所述第一協(xié)議狀態(tài)對(duì)應(yīng)的程序執(zhí)行信息，包括：

從所述Petri網(wǎng)模型中獲取所述第一協(xié)議狀態(tài)對(duì)應(yīng)的程序執(zhí)行信息。

3.如權(quán)利要求2所述的方法，其特征在于，所述方法還包括：

若對(duì)所述第一協(xié)議狀態(tài)的模糊測(cè)試滿足預(yù)設(shè)條件，通過所述Petri網(wǎng)模型確定所述第一協(xié)議狀態(tài)相鄰可達(dá)的協(xié)議狀態(tài)中的一個(gè)協(xié)議狀態(tài)作為第二協(xié)議狀態(tài)；

對(duì)所述第二協(xié)議狀態(tài)進(jìn)行模糊測(cè)試。

4.如權(quán)利要求3所述的方法，其特征在于，所述預(yù)設(shè)條件包括以下三項(xiàng)中的至少一項(xiàng)：

在預(yù)設(shè)時(shí)長(zhǎng)內(nèi)沒有觸發(fā)新路徑；

對(duì)所述目標(biāo)程序的程序代碼的覆蓋率達(dá)到預(yù)設(shè)比例；

執(zhí)行的測(cè)試用例的數(shù)量達(dá)到預(yù)設(shè)數(shù)量。

5.如權(quán)利要求1-4任一所述的方法，其特征在于，所述測(cè)試用例的質(zhì)量分?jǐn)?shù)是所述監(jiān)控器根據(jù)所述程序執(zhí)行信息和所述目標(biāo)程序的執(zhí)行路徑，檢測(cè)所述測(cè)試用例是否達(dá)到相鄰可達(dá)協(xié)議狀態(tài)、是否觸發(fā)新路徑以及是否觸發(fā)程序異常后，根據(jù)檢測(cè)結(jié)果確定的。

6.一種有狀態(tài)網(wǎng)絡(luò)協(xié)議的模糊測(cè)試裝置，其特征在于，所述裝置包括：

生成模塊，用于生成用于對(duì)有狀態(tài)網(wǎng)絡(luò)協(xié)議的第一協(xié)議狀態(tài)進(jìn)行模糊測(cè)試的測(cè)試用例，以及確定所述第一協(xié)議狀態(tài)對(duì)應(yīng)的程序執(zhí)行信息；

發(fā)送模塊，用于將測(cè)試用例發(fā)送給所述目標(biāo)程序，以對(duì)所述第一協(xié)議狀態(tài)進(jìn)行模糊測(cè)試，所述目標(biāo)程序使用所述有狀態(tài)網(wǎng)絡(luò)協(xié)議；

所述發(fā)送模塊，還用于將所述程序執(zhí)行信息發(fā)送給監(jiān)控器，由所述監(jiān)控器根據(jù)所述程序執(zhí)行信息和所述目標(biāo)程序的執(zhí)行路徑，確定所述測(cè)試用例的質(zhì)量分?jǐn)?shù)；

所述生成模塊，還用于當(dāng)接收到所述監(jiān)控器發(fā)送的所述質(zhì)量分?jǐn)?shù)時(shí)，若所述質(zhì)量分?jǐn)?shù)大于或等于分?jǐn)?shù)閾值，則根據(jù)所述測(cè)試用例生成用于對(duì)所述第一協(xié)議狀態(tài)進(jìn)行模糊測(cè)試的新測(cè)試用例。

7.如權(quán)利要求6所述的裝置，其特征在于，所述裝置還包括：

構(gòu)建模塊，用于根據(jù)所述有狀態(tài)網(wǎng)絡(luò)協(xié)議的說明信息構(gòu)建Petri網(wǎng)模型，所述Petri網(wǎng)模型用于描述協(xié)議狀態(tài)、遷移關(guān)系以及協(xié)議狀態(tài)對(duì)應(yīng)的程序執(zhí)行信息；

所述生成模塊用于：

從所述Petri網(wǎng)模型中獲取所述第一協(xié)議狀態(tài)對(duì)應(yīng)的程序執(zhí)行信息。

8.如權(quán)利要求7所述的裝置，其特征在于，所述裝置還包括：

確定模塊，用于若對(duì)所述第一協(xié)議狀態(tài)的模糊測(cè)試滿足預(yù)設(shè)條件，通過所述Petri網(wǎng)模型確定所述第一協(xié)議狀態(tài)相鄰可達(dá)的協(xié)議狀態(tài)中的一個(gè)協(xié)議狀態(tài)作為第二協(xié)議狀態(tài)；

測(cè)試模塊，用于對(duì)所述第二協(xié)議狀態(tài)進(jìn)行模糊測(cè)試。

9.如權(quán)利要求8所述的裝置，其特征在于，所述預(yù)設(shè)條件包括以下三項(xiàng)中的至少一項(xiàng)：

在預(yù)設(shè)時(shí)長(zhǎng)內(nèi)沒有觸發(fā)新路徑；

對(duì)所述目標(biāo)程序的程序代碼的覆蓋率達(dá)到預(yù)設(shè)比例；

執(zhí)行的測(cè)試用例的數(shù)量達(dá)到預(yù)設(shè)數(shù)量。