[發明專利]驗證方法、驗證裝置、電子設備和計算機可讀存儲介質

在審

• 申請號: 202210644220.2
• 申請日: 2022-06-08
• 公開（公告）號: CN115017864A
• 公開（公告）日: 2022-09-06
• 發明（設計）人: 不公告發明人
• 申請（專利權）人: 上海壁仞智能科技有限公司
• 主分類號: G06F30/398
• 分類號: G06F30/398
• 代理公司: 北京市柳沈律師事務所 11105
• 代理人: 彭久云

一種驗證方法、驗證裝置、電子設備和計算機可讀存儲介質。該驗證方法適用于包括驗證對象以及與驗證對象交互的多個驗證模塊的系統，該驗證方法包括：獲取驗證配置信息，其中，驗證配置信息包括驗證對象的屬性信息、多個驗證模塊的屬性信息和多個驗證模塊之間的訪問信息；基于驗證配置信息，將驗證對象與多個驗證模塊通信連接、生成驗證環境以及創建測試用例；利用測試用例、多個驗證模塊和驗證環境，對驗證對象進行驗證。該方法可以減少相關人員的工作量，提高效率，并且提高工作質量，減少出錯。

技術領域

本公開的實施例涉及一種驗證方法、驗證裝置、電子設備和計算機可讀存儲介質。

背景技術

SOC(System On a Chip)芯片為系統級芯片，也稱為片上系統，是在單一硅芯片上實現一個系統所具有的信號采集、轉換、存儲、處理和輸入、輸出(I/O)等功能的電路。對SOC芯片進行驗證是保證芯片功能正常運行的重要工作。

發明內容

本公開至少一個實施例提供一種驗證方法，適用于包括驗證對象以及與所述驗證對象交互的多個驗證模塊的系統，所述驗證方法包括：獲取驗證配置信息，其中，所述驗證配置信息包括所述驗證對象的屬性信息、所述多個驗證模塊的屬性信息和所述多個驗證模塊之間的訪問信息；基于所述驗證配置信息，將所述驗證對象與所述多個驗證模塊通信連接、生成驗證環境以及創建測試用例；利用所述測試用例、所述多個驗證模塊和所述驗證環境，對所述驗證對象進行驗證。

例如，在本公開一實施例提供的驗證方法中，獲取驗證配置信息，包括：解析所述驗證對象以獲得所述驗證對象的屬性信息，其中，所述驗證對象的屬性信息包括模塊層次信息和端口信息。

例如，在本公開一實施例提供的驗證方法中，解析所述驗證對象，包括：解析所述驗證對象的寄存器傳輸級文件。

例如，在本公開一實施例提供的驗證方法中，獲取所述驗證配置信息，還包括：解析所述多個驗證模塊以獲得所述多個驗證模塊的屬性信息，其中，所述驗證模塊的屬性信息包括帶寬信息和端口連接信息。

例如，在本公開一實施例提供的驗證方法中，所述端口連接信息包括所述驗證模塊在所述驗證對象上的連接位置信息。

例如，在本公開一實施例提供的驗證方法中，獲取所述驗證配置信息，還包括：通過解析所述多個驗證模塊之間的訪問關系得到所述訪問信息，其中，所述訪問信息包括作為訪問發起方的每個驗證模塊對作為訪問響應方的每個驗證模塊的訪問權限、所述作為訪問響應方的每個驗證模塊各自可被訪問的地址空間和/或所述作為訪問發起方的每個驗證模塊各自允許訪問的地址空間。

例如，在本公開一實施例提供的驗證方法中，基于所述驗證配置信息，將所述驗證對象與所述多個驗證模塊通信連接，包括：根據所述多個驗證模塊的屬性信息，實例化所述多個驗證模塊，并生成所述多個驗證模塊的配置代碼；將所述多個驗證模塊的實例連接至所述驗證對象。

例如，在本公開一實施例提供的驗證方法中，將所述多個驗證模塊實例連接至所述驗證對象，包括：通過將所述連接位置信息與所述驗證對象的所述端口信息進行匹配，確定驗證對象的與所述多個驗證模塊的通信連接關系；基于所述通信連接關系，生成連接代碼，以將所述多個驗證模塊實例連接至所述驗證對象。

例如，在本公開一實施例提供的驗證方法中，創建所述測試用例，包括：創建通路測試用例、網絡擁塞測試用例和協議遍歷測試用例中的至少一者。

例如，在本公開一實施例提供的驗證方法中，創建所述測試用例，還包括：根據所述多個驗證模塊的屬性信息和所述多個驗證模塊之間的訪問信息，生成所述通路測試用例、網絡擁塞測試用例和協議遍歷測試用例中的至少一者。

例如，在本公開一實施例提供的驗證方法中，生成所述驗證環境，包括：根據所述多個驗證模塊的屬性信息，生成驗證結果模塊、生成所述多個驗證模塊與所述驗證結果模塊之間的連接信息以及生成驗證覆蓋率信息。