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