用于驗(yàn)證被測(cè)試模塊的方法以及驗(yàn)證系統(tǒng)

基本信息

申請(qǐng)?zhí)?/td> CN202110777317.6 申請(qǐng)日 -
公開（公告）號(hào) CN113505066A 公開（公告）日 2021-10-15
申請(qǐng)公布號(hào) CN113505066A 申請(qǐng)公布日 2021-10-15
分類號(hào) G06F11/36（2006.01）I;G06F8/41（2018.01）I;G06F8/36（2018.01）I 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 李偉坡;秦剛;馮歆鵬;周驥 申請(qǐng)（專利權(quán)）人 上海肇觀電子科技有限公司
代理機(jī)構(gòu) 北京市漢坤律師事務(wù)所 代理人 魏小薇;吳麗麗
地址 230088安徽省合肥市高新區(qū)習(xí)友路3333號(hào)中國（合肥）國際智能語音產(chǎn)業(yè)園研發(fā)中心樓611-133
法律狀態(tài) -

摘要

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