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

基本信息

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

摘要

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