數(shù)字化轉(zhuǎn)型丨五院502所自研智能化單元測(cè)試工具,以AI賦能空間軟件開發(fā)
為提升單元測(cè)試的整體效率,同時(shí)確保測(cè)試效果滿足航天軟件的高可靠性要求,軒宇信息積極落實(shí)五院構(gòu)建數(shù)字化研制模式要求,以人工智能技術(shù)賦能研制模式轉(zhuǎn)型,在天捷SunwiseAUnit原版本基礎(chǔ)上研發(fā)了智能化版本。 天捷SunwiseAUnit本是一款可視化自動(dòng)單元測(cè)試工具,具備自動(dòng)化測(cè)試能力,已被深度應(yīng)用于我國(guó)重大航天工程實(shí)踐,成功保障了載人航天、深空探測(cè)等國(guó)家航天重大工程任務(wù)的軟件可靠性驗(yàn)證。 本次天捷SunwiseAUnit智能化版本在原生AI大模型的基礎(chǔ)上引入結(jié)構(gòu)化測(cè)試用例模式,提出了“結(jié)構(gòu)化種子用例引導(dǎo)的單元測(cè)試用例智能生成方法”,使得大模型能夠在約束范圍內(nèi)生成更加規(guī)范的測(cè)試用例,成功解決了原生大模型生成測(cè)試用例編譯錯(cuò)誤率高的問題,同時(shí)突破了傳統(tǒng)符號(hào)執(zhí)行在復(fù)雜邏輯代碼覆蓋率上難以提升的瓶頸。 據(jù)測(cè)試,用SunwiseAUnit智能化版本生成測(cè)試用例的覆蓋率和編譯通過率均遠(yuǎn)超滿血版DeepSeek-V3和GPT-4o的大模型原生結(jié)果,與傳統(tǒng)的符號(hào)執(zhí)行方法相比,在邏輯復(fù)雜的項(xiàng)目中,語句、分支覆蓋率可提升30%以上,測(cè)試更加全面、精準(zhǔn)。該工具也可適配DeepSeek、ChatGPT、千問等主流AI大模型,也能快速兼容未來可能推出的新模型,適用場(chǎng)景更靈活。 天捷SunwiseAUnit智能化版本的出現(xiàn)為單元測(cè)試領(lǐng)域帶來了全新的思路和方法,也為提升軟件開發(fā)效率和保證軟件的高質(zhì)量提供了有力保障。 未來,502所將落實(shí)集團(tuán)公司、五院關(guān)于數(shù)字化轉(zhuǎn)型的部署要求,持續(xù)深化AI技術(shù)與測(cè)試流程的融合,結(jié)合大模型對(duì)需求規(guī)格說明和設(shè)計(jì)文檔的理解,通過提示工程推出功能性測(cè)試用例生成,將推動(dòng)單元測(cè)試從“代碼驗(yàn)證”向“需求驗(yàn)證”延伸,持續(xù)為航天嵌入式軟件的全生命周期提供質(zhì)量保障,持續(xù)為數(shù)字五院和數(shù)字航天建設(shè)提供智能化支撐。