[發明專利]用于驗證被測試模塊的方法以及驗證系統

在審

• 申請號: 202110777317.6
• 申請日: 2021-07-09
• 公開（公告）號: CN113505066A
• 公開（公告）日: 2021-10-15
• 發明（設計）人: 李偉坡;秦剛;馮歆鵬;周驥
• 申請（專利權）人: 合肥肇觀電子科技有限公司;上海肇觀電子科技有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06F8/41;G06F8/36
• 代理公司: 北京市漢坤律師事務所 11602
• 代理人: 魏小薇;吳麗麗

1.一種驗證系統，包括：

處理器模型，所述處理器模型被配置成：

在由第一編程語言實現的測試用例的運行過程中，經由接口函數調用由第二編程語言實現的操作函數，以實現所述測試用例涉及的處理器操作，

獲取基于所述處理器操作得到的測試輸入；以及

被測試模塊，所述被測試模塊用于響應于所述測試輸入而生成測試輸出。

2.如權利要求1所述的驗證系統，其中所述第一編程語言是通用編程語言，所述第二編程語言是硬件描述語言。

3.如權利要求2所述的驗證系統，其中所述第一編程語言是C語言，所述第二編程語言是SystemVerilog語言。

4.如權利要求1-3中任一項所述的驗證系統，其中，所述被測試模塊還配置成：

響應于觸發信號觸發主線程，所述主線程用于經由所述接口函數調用所述測試用例的主函數的運行以啟動所述測試用例的運行。

5.如權利要求1-4中任一項所述的驗證系統，其中，所述被測試模塊還配置成：

響應于指示所述被測試模塊的功能執行完畢的中斷信號觸發中斷線程，所述中斷線程用于經由所述接口函數調用所述測試用例的中斷響應函數。

6.如權利要求1-5中任一項所述的驗證系統，其中，所述處理器操作包括以下各項中的至少一項：

存儲設備訪問操作；和

測試環境訪問操作。

7.一種用于驗證被測試模塊的方法，包括：

在由第一編程語言實現的測試用例的運行過程中，經由接口函數調用由第二編程語言實現的操作函數，以實現所述測試用例涉及的處理器操作；

基于所述處理器操作生成用于驗證所述被測試模塊的測試輸入；以及

獲取所述被測試模塊響應于所述測試輸入而生成的測試輸出。

8.一種電子設備，包括：

處理器；以及

存儲程序的存儲器，所述程序包括指令，所述指令在由所述處理器執行時使所述處理器執行根據權利要求7所述的方法。

9.一種存儲程序的非暫態計算機可讀存儲介質，所述程序包括指令，所述指令在由電子設備的處理器執行時，致使所述電子設備執行根據權利要求7所述的方法。

10.一種計算機程序產品，包括計算機程序，其中，所述計算機程序在被處理器執行時實現根據權利要求7所述的方法。