来源 :全景网2024-06-07
在近期举办的2024(第十三届)飞机航空电子国际论坛上，科大国创携可信代码生成AI助手、科创方舟质量管理平台等多款高可信软件产品方案精彩亮相。
据悉，高可信软件分析与验证技术作为科大国创的核心技术，在强人工智能时代的重要性日益凸显，是人工智能规模化应用的前提。科大国创在OS内核、编译器、控制软件等底层系统软件验证方面具备了深厚的经验和能力，相关产品荣获CCF中国软件大会一等奖，是填补国内空白和解决“卡脖子”难题的关键技术，在国内国际处于领先地位，已广泛应用于航空航天、国防军工、智能汽车、机器人、金融、电信等安全攸关领域。
在航空航天、国防军工等直接关乎国家安全的领域，软件质量的保证和控制是至关重要的。科大国创自主研发的高可信软件技术目前在航空航天、国防军工领域已实现广泛应用，与中航工业、中国航发、航天科技、中国电科等集团的核心研究机构及单位保持长期紧密合作关系，为国家安全保驾护航。
在其他安全攸关领域，科大国创高可信软件系列产品为广大智能汽车、金融、运营商企业客户的软件开发和测试提供一站式质量管理服务。其中科创方舟软件质量管理平台集成了静态、动态分析工具，对软件开发各环节进行中央式代码质量分析和检测把控，帮助用户尽早发现软件缺陷，节省代码评审时间，助力企业实现高质量发展。
科创方舟软件质量管理平台
基于在高可信软件领域的研究与实践，科大国创将其充分融合到通用大模型代码生成流程中，构建可信代码生成AI助手，保障自动生成代码的安全可靠，大大降低软件开发成本，颠覆传统的软件开发方法。
据了解，可信代码生成AI助手运用LLM技术简化和优化软件开发生命周期中的各个环节，同时结合形式化技术，提高软件的开发质量。AI助手可以提供开发智能助手功能，包括函数级代码补全、代码解释、代码优化、代码注释生成、单元测试生成、智能问答、智能修复等能力，为开发人员提供助力。同时还可以提供形式标注辅助生成功能，针对特定语言，例如C语言，结合形式化技术实现自然语言到形式标注的生成，使得程序员能更容易地使用形式化方法来描述程序的行为，并自动进行形式验证，确保生成高度可信的代码。
可信代码生成AI助手
高可信软件作为守护国家重点领域软件安全的尖端技术，面向世界科技前沿和国家重大需求，为加快实现国家科技自立自强助力。随着人工智能的不断发展，高可信软件在机器学习、区块链技术、量子计算等领域的重要性将日益凸显。科大国创作为高可信软件的引领者，未来将不断推动该领域的研究突破和实践创新，守护强人工智能时代关键软件安全。