English     CAST內(nèi)部郵箱入口    

數(shù)字化轉(zhuǎn)型丨五院502所自研智能化單元測試工具,以AI賦能空間軟件開發(fā)

時間:2025年05月23日 信息來源:本站原創(chuàng) 點擊:1463 字體:
為全面貫徹集團公司第九次工作會精神、數(shù)字航天建設推進會和五院2024年戰(zhàn)略管理委員會會議關于數(shù)字化轉(zhuǎn)型的部署,航天科技集團五院502所軒宇信息技術有限公司(以下簡稱軒宇信息)選取航天嵌入式軟件開發(fā)過程中的軟件研制單元測試環(huán)節(jié)開展了人工智能技術先行先試,研發(fā)了天捷SunwiseAUnit的智能化版本,將單元測試推向了智能化。

在航天領域,空間軟件研制中傳統(tǒng)的單元測試主要依賴符號執(zhí)行技術,但這一技術在面對復雜邏輯代碼時往往力不從心。而原生人工智能大模型生成的測試用例往往存在編譯錯誤率較高等問題,難以保證測試的完整性和可執(zhí)行性,影響了實際的測試效果。


為提升單元測試的整體效率,同時確保測試效果滿足航天軟件的高可靠性要求,軒宇信息積極落實五院構(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ù)字航天建設提供智能化支撐。




關于本院 | 聯(lián)系我們 | 招聘信息
地址:北京市海淀區(qū)航天城 網(wǎng)站建設:北京空間科技信息研究所
Copyright © 2000-2025 m.holidayd.cn All Rights Reserved 中國空間技術研究院版權所有
京ICP備20011260號-1