[發明專利]用于重傳部件模塊級驗證的報文自動比對正確性檢查方法及裝置

有效

• 申請號: 202010127084.0
• 申請日: 2020-02-28
• 公開（公告）號: CN111352781B
• 公開（公告）日: 2023-07-04
• 發明（設計）人: 羅健美;楊俊;龐守雷;李永進;王英
• 申請（專利權）人: 飛騰信息技術有限公司
• 主分類號: G06F11/22
• 分類號: G06F11/22;G06F9/48
• 代理公司: 湖南兆弘專利事務所(普通合伙) 43008
• 代理人: 譚武藝

1.一種用于重傳部件模塊級驗證的報文自動比對正確性檢查方法，其特征在于，所述重傳部件由重傳發送端和重傳接收端組成，且重傳接收端的實施步驟包括：

1）預先構造一組空閑請求隊列、一組重傳計數器和一個映射隊列；

2）當有從重傳發送端發來的動態請求報文在到達重傳接收端之后被丟棄需要被重傳時，跳轉執行步驟3）；當需要被重傳的靜態請求的報文從重傳發送端重新發到重傳接收端時，跳轉執行步驟5）；如果測試結束，跳轉執行步驟6）；

3）通過映射隊列分配一個空閑請求隊列且在每次通過映射隊列分配空閑請求隊列后將對應的重傳計數器加1；

4）將動態請求的報文關鍵信息存入分配到的空閑請求隊列中并設置有效位，并將動態請求的重傳發送端id號存入分配到的映射隊列中進行標記；否則跳轉執行步驟2）；

5）通過查詢分配到的映射隊列分配信息，將該靜態請求的報文關鍵信息與分配的空閑請求隊列中所有有效項記錄的關鍵信息進行對比，如果比對成功則將對應的空閑請求隊列清空并將有效位清零、重傳計數器減1；否則跳轉執行步驟2）；

6）判斷所有的空閑請求隊列清空且有效位清零、重傳計數器均已歸零是否已經成立，如果成立則判定重傳部件已通過模塊級驗證；否則，判定重傳部件未通過模塊級驗證。

2.根據權利要求1所述的用于重傳部件模塊級驗證的報文自動比對正確性檢查方法，其特征在于，步驟1）中預先構造一組空閑請求隊列、一組重傳計數器和一個映射隊列時，所述空閑請求隊列為以自然數為索引，所述重傳計數器以空閑請求序列號為索引，所述映射隊列以重傳發送端id號為索引；所述空閑請求隊列的數目根據實際使用指定地址映射模式配置成與實際發出請求到同一重傳接收端的重傳部件發送端數目相同，根據請求報文中的重傳發送端id號信息將來自不同重傳發送端的請求報文分配到不同的空閑請求隊列進行處理；每個空閑請求隊列的大小與單個重傳發送端最多能發送的待重傳請求數目相同，所有待重傳請求的部分信息將被記錄在空閑請求隊列中，每個待重傳請求占用一項；所述重傳計數器的個數與空閑請求隊列數目一致，同步記錄各對應的空閑請求隊列中的待重傳請求個數；所述映射隊列的大小與空閑請求隊列的數目相同，映射隊列用于保存重傳發送端的id號信息，每個不同的重傳發送端id號占用一項。

3.根據權利要求1所述的用于重傳部件模塊級驗證的報文自動比對正確性檢查方法，其特征在于，步驟3）的詳細步驟包括：根據該動態請求的重傳發送端id號查詢所述映射隊列，如果映射隊列中已能查詢到該重傳發送端id號映射的空閑請求隊列號，則分配該空閑請求隊列給請求報文；如果映射隊列中未能查詢到該重傳發送端id號映射的空閑請求隊列，則從映射隊列中分配當前最小的空閑項號索引到的空閑請求隊列給請求報文，并將該重傳發送端id號存入映射隊列中當前分配的最小空閑項中進行標記，同時打印請求類型標請求事務id號和請求地址信息，對應的重傳計數器加1。

4.根據權利要求1所述的用于重傳部件模塊級驗證的報文自動比對正確性檢查方法，其特征在于，步驟4）的詳細步驟包括：將該請求報文的關鍵信息包括請求類型標識、請求事務id號、請求地址等記錄到上述分配的空閑請求隊列中當前項號最小的空閑項中，同時將該空閑項的有效位置為1。

5.根據權利要求1所述的用于重傳部件模塊級驗證的報文自動比對正確性檢查方法，其特征在于，步驟5）的詳細步驟包括：

5.1）根據該靜態請求的報文的重傳發送端id號查詢映射隊列找到對應的請求隊列，將該靜態請求的報文的請求類型標識、請求事務id號、請求地址信息，與該請求隊列中有效位為1的所有有效項所記錄的報文請求類型標識、請求事務id號、請求地址信息進行對比；如果能和其中的一項完全匹配，則表明該靜態請求的報文為設計需要的正確請求報文，則跳轉執行步驟5.2）；否則如果該請求隊列中沒有任何一項有效項能與靜態請求的報文的信息相匹配，則表明該靜態請求的報文不是設計需要的正確請求報文，則跳轉執行步驟5.3）；

5.2）清空該匹配項信息并將其有效位清零，將對應的重傳計數器減1，跳轉執行步驟2）；

5.3）判定設計有邏輯錯誤，終止程序并退出。