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

在審

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

提供一種用于驗證被測試模塊的方法以及驗證系統。其中驗證系統包括：處理器模型，所述處理器模型被配置成：在由第一編程語言實現的測試用例的運行過程中，經由接口函數調用由第二編程語言實現的操作函數，以實現所述測試用例涉及的處理器操作，獲取基于所述處理器操作得到的測試輸入；以及被測試模塊，所述被測試模塊用于響應于所述測試輸入而生成測試輸出。利用本公開提供的驗證方法和系統，可以方便地將第一編程語言實現的測試用例用于第二編程語言描述的被測試模塊以生成測試輸出，從而在對測試用例進行修改迭代時，能夠方便地實現測試用例的編譯和復用。

技術領域

本公開涉及電子系統的仿真驗證，特別涉及被測試模塊的驗證方法、驗證系統、電子設備和存儲介質。

背景技術

在對電子系統進行開發時，需要對設計的電子系統中的模塊進行驗證以正確實現模塊要完成的功能。

在此部分中描述的方法不一定是之前已經設想到或采用的方法。除非另有指明，否則不應假定此部分中描述的任何方法僅因其包括在此部分中就被認為是現有技術。類似地，除非另有指明，否則此部分中提及的問題不應認為在任何現有技術中已被公認。

發明內容

根據本公開的一個方面，提供了一種驗證系統，包括：處理器模型，所述處理器模型被配置成：在由第一編程語言實現的測試用例的運行過程中，經由接口函數調用由第二編程語言實現的操作函數，以實現所述測試用例涉及的處理器操作，獲取基于所述處理器操作得到的測試輸入；以及被測試模塊，所述被測試模塊用于響應于所述測試輸入而生成測試輸出。

根據本公開的另一方面，還提供了一種用于驗證被測試模塊的方法，包括：在由第一編程語言實現的測試用例的運行過程中，經由接口函數調用由第二編程語言實現的操作函數，以實現所述測試用例涉及的處理器操作；基于所述處理器操作生成用于驗證所述被測試模塊的測試輸入；以及獲取所述被測試模塊響應于所述測試輸入而生成的測試輸出。

根據本公開的另一方面，還提供了一種電子設備，包括：處理器；以及存儲程序的存儲器，所述程序包括指令，所述指令在由所述處理器執行時使所述處理器執行如前所述的方法。

根據本公開的又一方面，還提供了一種存儲程序的非暫態計算機可讀存儲介質，所述程序包括指令，所述指令在由電子設備的處理器執行時，致使所述電子設備執行如前所述的方法。

根據本公開的又一方面，還提供了一種計算機程序產品，包括計算機程序，其中，所述計算機程序在被處理器執行時實現如前所述的方法。

利用本公開提供的驗證方法和系統，可以方便地將第一編程語言實現的測試用例用于第二編程語言描述的被測試模塊以生成測試輸出，從而在對測試用例進行修改迭代時，能夠方便地實現測試用例的編譯和復用。

附圖說明

附圖示例性地示出了實施例并且構成說明書的一部分，與說明書的文字描述一起用于講解實施例的示例性實施方式。所示出的實施例僅出于例示的目的，并不限制權利要求的范圍。在所有附圖中，相同的附圖標記指代類似但不一定相同的要素。

圖1示出了根據本公開的實施例的驗證系統的一種示例性的架構圖；

圖2示出了根據本公開的實施例的驗證系統的另一種示例性的架構圖；

圖3示出了根據本公開的實施例的用于驗證被測試模塊的方法的示例性流程圖；

圖4示出了根據本公開的用于驗證被測試模塊的方法的另一種示例性流程圖；

圖5是示出根據本公開的示例性實施例的電子設備的示例的框圖。

具體實施方式