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

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

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

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


為提升單元測(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è)提供智能化支撐。




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