一種嵌入式軟件單元測(cè)試用例生成方法及系統(tǒng)

基本信息

申請(qǐng)?zhí)?/td> CN201811216675.4 申請(qǐng)日 -
公開（公告）號(hào) CN109086215B 公開（公告）日 2021-11-16
申請(qǐng)公布號(hào) CN109086215B 申請(qǐng)公布日 2021-11-16
分類號(hào) G06F11/36（2006.01）I 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 陳睿;楊帆;江云松;王政;高棟棟;高猛;賈春鵬;陳華南;張璐;孫民 申請(qǐng)（專利權(quán)）人 北京軒宇信息技術(shù)有限公司
代理機(jī)構(gòu) 中國(guó)航天科技專利中心 代理人 陳鵬
地址 100190北京市海淀區(qū)科學(xué)院南路2號(hào)融科資訊中心C座南樓1101-1102
法律狀態(tài) -

摘要

摘要 本發(fā)明提供了一種嵌入式軟件單元測(cè)試用例生成方法及系統(tǒng)。所述方法包括：對(duì)嵌入式軟件源程序文件進(jìn)行靜態(tài)分析，生成輸入驅(qū)動(dòng)文件；在所述輸入驅(qū)動(dòng)文件中定義一驅(qū)動(dòng)函數(shù)；其中，所述驅(qū)動(dòng)函數(shù)用于指定輸入待求解的表達(dá)式或樁函數(shù)；依據(jù)解釋執(zhí)行和符號(hào)執(zhí)行相結(jié)合的方式對(duì)所述表達(dá)式或所述樁函數(shù)進(jìn)行求解；將嵌入式軟件中IO端口特殊編碼為多重符號(hào)，求解得到值序列；基于求解結(jié)果和所述值序列，生成測(cè)試用例。本發(fā)明可以簡(jiǎn)化生成測(cè)試用例的操作步驟，降低由于插樁帶來的性能開銷，自動(dòng)生成的輸入驅(qū)動(dòng)文件能滿足絕大部分需求，并且無論是哪種嵌入式平臺(tái)的軟件都可以解釋執(zhí)行，大幅降低了配置目標(biāo)環(huán)境帶來的時(shí)間成本和人力成本。