[發明專利]網絡功能的驗證方法、開發系統、計算機設備及存儲介質

在審

• 申請號: 202011160375.6
• 申請日: 2020-10-27
• 公開（公告）號: CN112564997A
• 公開（公告）日: 2021-03-26
• 發明（設計）人: 吳文斐;鄧幫文
• 申請（專利權）人: 圖靈人工智能研究院（南京）有限公司
• 主分類號: H04L12/26
• 分類號: H04L12/26;G06F11/36
• 代理公司: 上海巔石知識產權代理事務所(普通合伙) 31309
• 代理人: 高磊;王再朝

1.一種網絡功能的驗證方法，其特征在于，包括以下步驟：

在包含獨立計時的時間-路徑約束機制的約束下，對待測試的網絡功能中的執行路徑進行測試，以得到相應執行路徑的包含路徑測試數據及其對應的時間測試數據的測試數據；

其中，所述測試數據用于對所述網絡功能中受時間約束的執行路徑進行驗證。

2.根據權利要求1所述的網絡功能的驗證方法，其特征在于，所述時間-路徑約束機制是通過執行配置在獨立于所述執行路徑的測試程序中的第一程序，和/或執行配置在所述執行路徑的測試程序中的第二程序而形成的。

3.根據權利要求1所述的網絡功能的驗證方法，其特征在于，運行所述時間-路徑約束機制時和在對所述執行路徑進行測試時共享約束數據。

4.根據權利要求1所述的網絡功能的驗證方法，其特征在于，采用并行處理方式運行所述時間-路徑約束機制的線程和測試所述執行路徑的線程。

5.根據權利要求1所述的網絡功能的驗證方法，其特征在于，所述對待測試的網絡功能的執行路徑進行測試的步驟包括：

在所接收到的測試數據包時，運行所述時間-路徑的約束機制；

在所述約束機制的限制下，根據對應不同執行路徑的測試條件，將所述測試數據包轉入相應執行路徑以便進行傳輸處理。

6.根據權利要求1所述的網絡功能的驗證方法，其特征在于，所述對待測試的網絡功能的執行路徑進行測試的步驟包括：

運行所述時間-路徑的約束機制；

在所述約束機制的限制下，根據對應不同執行路徑的測試條件，將所接收到的測試數據包轉入相應執行路徑以便進行傳輸處理。

7.根據權利要求1所述的網絡功能的驗證方法，其特征在于，還包括：分析測試數據以對所述網絡功能中相應執行路徑進行驗證的步驟包括以下至少一種：

分析路徑測試數據及其時間測試數據之間的對應關系，以對所述網絡功能中各執行路徑進行驗證；

依據時間測試數據和路徑測試數據中的一種測試數據，統計時間測試數據和路徑測試數據中的另一種測試數據，以對所述網絡功能中各執行路徑進行驗證；以及

分析所述測試數據以篩選出所述網絡功能中無效的執行路徑。

8.根據權利要求1所述的網絡功能的驗證方法，其特征在于，所述時間-路徑約束機制用于對執行路徑提供以下至少一種時間上的約束：執行路徑的有效狀態的約束、和數據流量的約束。

9.根據權利要求1所述的網絡功能的驗證方法，其特征在于，所測試的網絡功能中包含多條執行路徑；所述對待測試的網絡功能中的執行路徑進行測試的步驟包括：對利用分支邏輯而構建的對應每一路徑的執行路徑進行測試，得到對應不同分支邏輯的測試數據。

10.根據權利要求1所述的網絡功能的驗證方法，其特征在于，利用符號執行引擎執行所述在包含獨立計時的時間-路徑約束機制的約束下對待測試的網絡功能中的執行路徑進行測試的步驟。

11.一種網絡功能的開發系統，其特征在于，包括：

人機交互模塊，包括編輯界面和包含測試選項的工具選擇欄；其中，所述編輯界面用于供技術人員構建用于驗證網絡功能中各執行路徑的測試代碼；其中，所述測試代碼中包含用于提供獨立計時的代碼；

驗證模塊，用于在檢測到測試選項被觸發時，將所述測試代碼轉換為測試程序；以及調用所述測試程序以執行如權利要求1-10中任一所述的驗證方法。

12.根據權利要求11所述的網絡功能的開發系統，其特征在于，還包括：代碼庫，用于提供至少一個代碼；所述代碼庫中包含所述用于提供獨立計時的代碼。