一種驗證方法、驗證裝置、電子設備和計算機可讀存儲介質。該驗證方法適用于包括驗證對象以及與驗證對象交互的多個驗證模塊的系統，該驗證方法包括：獲取驗證配置信息，其中，驗證配置信息包括驗證對象的屬性信息、多個驗證模塊的屬性信息和多個驗證模塊之間的訪問信息；基于驗證配置信息，將驗證對象與多個驗證模塊通信連接、生成驗證環境以及創建測試用例；利用測試用例、多個驗證模塊和驗證環境，對驗證對象進行驗證。該方法可以減少相關人員的工作量，提高效率，并且提高工作質量，減少出錯。減少出錯。減少出錯。
【技術實現步驟摘要】
驗證方法、驗證裝置、電子設備和計算機可讀存儲介質
[0001]本公開的實施例涉及一種驗證方法、驗證裝置、電子設備和計算機可讀存儲介質。
技術介紹
[0002]SOC(System On a Chip)芯片為系統級芯片，也稱為片上系統，是在單一硅芯片上實現一個系統所具有的信號采集、轉換、存儲、處理和輸入、輸出(I/O)等功能的電路。對SOC芯片進行驗證是保證芯片功能正常運行的重要工作。
技術實現思路
[0003]本公開至少一個實施例提供一種驗證方法，適用于包括驗證對象以及與所述驗證對象交互的多個驗證模塊的系統，所述驗證方法包括：獲取驗證配置信息，其中，所述驗證配置信息包括所述驗證對象的屬性信息、所述多個驗證模塊的屬性信息和所述多個驗證模塊之間的訪問信息；基于所述驗證配置信息，將所述驗證對象與所述多個驗證模塊通信連接、生成驗證環境以及創建測試用例；利用所述測試用例、所述多個驗證模塊和所述驗證環境，對所述驗證對象進行驗證。
[0004]例如，在本公開一實施例提供的驗證方法中，獲取驗證配置信息，包括：解析所述驗證對象以獲得所述驗證對象的屬性信息，其中，所述驗證對象的屬性信息包括模塊層次信息和端口信息。
[0005]例如，在本公開一實施例提供的驗證方法中，解析所述驗證對象，包括：解析所述驗證對象的寄存器傳輸級文件。
[0006]例如，在本公開一實施例提供的驗證方法中，獲取所述驗證配置信息，還包括：解析所述多個驗證模塊以獲得所述多個驗證模塊的屬性信息，其中，所述驗證模塊的屬性信息包括帶寬信息和端口連接信息。
[0007]例如，在本公開一實施例提供的驗證方法中，所述端口連接信息包括所述驗證模塊在所述驗證對象上的連接位置信息。
[0008]例如，在本公開一實施例提供的驗證方法中，獲取所述驗證配置信息，還包括：通過解析所述多個驗證模塊之間的訪問關系得到所述訪問信息，其中，所述訪問信息包括作為訪問發起方的每個驗證模塊對作為訪問響應方的每個驗證模塊的訪問權限、所述作為訪問響應方的每個驗證模塊各自可被訪問的地址空間和/或所述作為訪問發起方的每個驗證模塊各自允許訪問的地址空間。
[0009]例如，在本公開一實施例提供的驗證方法中，基于所述驗證配置信息，將所述驗證對象與所述多個驗證模塊通信連接，包括：根據所述多個驗證模塊的屬性信息，實例化所述多個驗證模塊，并生成所述多個驗證模塊的配置代碼；將所述多個驗證模塊的實例連接至所述驗證對象。
[0010]例如，在本公開一實施例提供的驗證方法中，將所述多個驗證模塊實例連接至所述驗證對象，包括：通過將所述連接位置信息與所述驗證對象的所述端口信息進行匹配，確
定驗證對象的與所述多個驗證模塊的通信連接關系；基于所述通信連接關系，生成連接代碼，以將所述多個驗證模塊實例連接至所述驗證對象。
[0011]例如，在本公開一實施例提供的驗證方法中，創建所述測試用例，包括：創建通路測試用例、網絡擁塞測試用例和協議遍歷測試用例中的至少一者。
[0012]例如，在本公開一實施例提供的驗證方法中，創建所述測試用例，還包括：根據所述多個驗證模塊的屬性信息和所述多個驗證模塊之間的訪問信息，生成所述通路測試用例、網絡擁塞測試用例和協議遍歷測試用例中的至少一者。
[0013]例如，在本公開一實施例提供的驗證方法中，生成所述驗證環境，包括：根據所述多個驗證模塊的屬性信息，生成驗證結果模塊、生成所述多個驗證模塊與所述驗證結果模塊之間的連接信息以及生成驗證覆蓋率信息。
[0014]例如，在本公開一實施例提供的驗證方法中，利用所述測試用例、所述多個驗證模塊和所述驗證環境，對所述驗證對象進行驗證，包括：激勵所述多個驗證模塊基于所述測試用例與所述驗證對象進行交互；利用所述驗證結果模塊獲取所述多個驗證模塊與所述驗證對象的交互數據，并基于所述交互數據得到驗證結果。
[0015]例如，在本公開一實施例提供的驗證方法中，所述驗證對象包括互聯模塊或芯片。
[0016]本公開至少一個實施例提供一種驗證裝置，適用于包括驗證對象以及與所述驗證對象交互的多個驗證模塊的系統，所述驗證裝置包括獲取模塊、生成模塊和驗證模塊，所述獲取模塊配置為獲取驗證配置信息，其中，所述驗證配置信息包括所述驗證對象的屬性信息、所述多個驗證模塊的屬性信息和所述多個驗證模塊之間的訪問信息；所述生成模塊配置為基于所述驗證配置信息，將所述驗證對象與所述多個驗證模塊通信連接、生成驗證環境以及創建測試用例；所述驗證模塊配置為利用所述測試用例、所述多個驗證模塊和所述驗證環境，對所述驗證對象進行驗證。
[0017]本公開至少一個實施例提供一種電子設備，包括處理器；存儲器，包括一個或多個計算機程序模塊；其中，所述一個或多個計算機程序模塊被存儲在所述存儲器中并被配置為由所述處理器執行，所述一個或多個計算機程序模塊包括用于實現本公開任一實施例提供的驗證方法的指令。
[0018]本公開至少一個實施例提供一種計算機可讀存儲介質，存儲有非暫時性計算機可讀指令，當所述非暫時性計算機可讀指令由計算機執行時實現本公開任一實施例提供的驗證方法。
附圖說明
[0019]為了更清楚地說明本公開實施例的技術方案，下面將對實施例的附圖作簡單地介紹，顯而易見地，下面描述中的附圖僅僅涉及本公開的一些實施例，而非對本公開的限制。
[0020]圖1示出了本公開至少一實施例提供的驗證對象和驗證模塊的示意圖；
[0021]圖2示出了本公開至少一實施例提供的一種驗證方法的流程圖；
[0022]圖3示出了本公開至少一實施例提供的解析和處理過程的流程圖；
[0023]圖4示出了本公開至少一實施例提供的驗證結果模塊獲取采集信息的示意圖；
[0024]圖5示出了本公開至少一個實施例提供的一種驗證裝置的示意框圖；
[0025]圖6示出了本公開至少一個實施例提供的一種電子設備的示意框圖；
[0026]圖7示出了本公開至少一個實施例提供的另一種電子設備的示意框圖；以及
[0027]圖8示出了本公開至少一個實施例提供的一種計算機可讀存儲介質的示意圖。
具體實施方式
[0028]為使本公開實施例的目的、技術方案和優點更加清楚，下面將結合本公開實施例的附圖，對本公開實施例的技術方案進行清楚、完整地描述。顯然，所描述的實施例是本公開的一部分實施例，而不是全部的實施例。基于所描述的本公開的實施例，本領域普通技術人員在無需創造性勞動的前提下所獲得的所有其他實施例，都屬于本公開保護的范圍。
[0029]除非另外定義，本公開使用的技術術語或者科學術語應當為本公開所屬領域內具有一般技能的人士所理解的通常意義。本公開中使用的“第一”、“第二”以及類似的詞語并不表示任何順序、數量或者重要性，而只是用來區分不同的組成部分。同樣，“一個”、“一”或者“該”等類似詞語也不表示數量限制，而是表示存在至少一個。“包括”或者“包含”等類似的詞語意指出現該詞前面的元件或者物件涵蓋出現本文檔來自技高網...
【技術保護點】
【技術特征摘要】
1.一種驗證方法，適用于包括驗證對象以及與所述驗證對象交互的多個驗證模塊的系統，所述驗證方法包括：獲取驗證配置信息，其中，所述驗證配置信息包括所述驗證對象的屬性信息、所述多個驗證模塊的屬性信息和所述多個驗證模塊之間的訪問信息；基于所述驗證配置信息，將所述驗證對象與所述多個驗證模塊通信連接、生成驗證環境以及創建測試用例；利用所述測試用例、所述多個驗證模塊和所述驗證環境，對所述驗證對象進行驗證。2.根據權利要求1所述的驗證方法，其中，獲取驗證配置信息，包括：解析所述驗證對象以獲得所述驗證對象的屬性信息，其中，所述驗證對象的屬性信息包括模塊層次信息和端口信息。3.根據權利要求2所述的驗證方法，其中，解析所述驗證對象，包括：解析所述驗證對象的寄存器傳輸級文件。4.根據權利要求2所述的驗證方法，其中，獲取所述驗證配置信息，還包括：解析所述多個驗證模塊以獲得所述多個驗證模塊的屬性信息，其中，所述驗證模塊的屬性信息包括帶寬信息和端口連接信息。5.根據權利要求4所述的驗證方法，其中，所述端口連接信息包括所述驗證模塊在所述驗證對象上的連接位置信息。6.根據權利要求4所述的驗證方法，其中，獲取所述驗證配置信息，還包括：通過解析所述多個驗證模塊之間的訪問關系得到所述訪問信息，其中，所述訪問信息包括作為訪問發起方的每個驗證模塊對作為訪問響應方的每個驗證模塊的訪問權限、所述作為訪問響應方的每個驗證模塊各自可被訪問的地址空間和/或所述作為訪問發起方的每個驗證模塊各自允許訪問的地址空間。7.根據權利要求5所述的驗證方法，其中，基于所述驗證配置信息，將所述驗證對象與所述多個驗證模塊通信連接，包括：根據所述多個驗證模塊的屬性信息，實例化所述多個驗證模塊，并生成所述多個驗證模塊的配置代碼；將所述多個驗證模塊的實例連接至所述驗證對象。8.根據權利要求7所述的驗證方法，其中，將所述多個驗證模塊實例連接至所述驗證對象，包括：通過將所述連接位置信息與所述驗證對象的所述端口信息進行匹配，確定驗證對象的與所述多個驗證模塊的通信連接關系；基于所述通信連接關系，生成連接代碼，以將所述多個驗證模塊實例連接至所述驗證對象。9.根據權...
【專利技術屬性】
技術研發人員：?七四專利代理機構，
申請(專利權)人：上海壁仞智能科技有限公司，
類型：發明
國別省市：
還沒有人留言評論。發表了對其他瀏覽者有用的留言會獲得科技券。