激情欧美成人狠狠色金八天国_一级片免费网址_理论在线-免费理论片_亚洲精品免费网站 - 男女一边摸一边做爽爽的动态图

English     CAST內部郵箱入口    

數字化轉型丨五院502所自研智能化單元測試工具,以AI賦能空間軟件開發

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

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


為提升單元測試的整體效率,同時確保測試效果滿足航天軟件的高可靠性要求,軒宇信息積極落實五院構建數字化研制模式要求,以人工智能技術賦能研制模式轉型,在天捷SunwiseAUnit原版本基礎上研發了智能化版本。


天捷SunwiseAUnit本是一款可視化自動單元測試工具,具備自動化測試能力,已被深度應用于我國重大航天工程實踐,成功保障了載人航天、深空探測等國家航天重大工程任務的軟件可靠性驗證。


本次天捷SunwiseAUnit智能化版本在原生AI大模型的基礎上引入結構化測試用例模式,提出了“結構化種子用例引導的單元測試用例智能生成方法”,使得大模型能夠在約束范圍內生成更加規范的測試用例,成功解決了原生大模型生成測試用例編譯錯誤率高的問題,同時突破了傳統符號執行在復雜邏輯代碼覆蓋率上難以提升的瓶頸。


據測試,用SunwiseAUnit智能化版本生成測試用例的覆蓋率和編譯通過率均遠超滿血版DeepSeek-V3和GPT-4o的大模型原生結果,與傳統的符號執行方法相比,在邏輯復雜的項目中,語句、分支覆蓋率可提升30%以上,測試更加全面、精準。該工具也可適配DeepSeek、ChatGPT、千問等主流AI大模型,也能快速兼容未來可能推出的新模型,適用場景更靈活。


天捷SunwiseAUnit智能化版本的出現為單元測試領域帶來了全新的思路和方法,也為提升軟件開發效率和保證軟件的高質量提供了有力保障。


未來,502所將落實集團公司、五院關于數字化轉型的部署要求,持續深化AI技術與測試流程的融合,結合大模型對需求規格說明和設計文檔的理解,通過提示工程推出功能性測試用例生成,將推動單元測試從“代碼驗證”向“需求驗證”延伸,持續為航天嵌入式軟件的全生命周期提供質量保障,持續為數字五院和數字航天建設提供智能化支撐。




關于本院 | 聯系我們 | 招聘信息
地址:北京市海淀區航天城 網站建設:北京空間科技信息研究所
Copyright © 2000-2025 www.hndbb.com All Rights Reserved 中國空間技術研究院版權所有
京ICP備20011260號-1