中新网安徽新闻5月31日电 在合肥高新区科大国创高可信软件技术实验室内，合肥研发中心副主任王浩正盯着屏幕上的代码，与身边的科研团队探讨最新的技术路线。他所在的高可信软件技术研发团队怀揣着“要让AI真正成为开发者的得力助手”的信念，在软件安全领域奋勇前行。

　　技术突围：高可信软件的硬核突破

　　2002年成立的中国科大软件安全实验室，是国内最早一批接触形式化方法与程序验证研究的团队。当时，在实验室负责人陈意云教授的带领下，团队展开了国产静态分析工具和形式化验证工具的研发。此后，科大国创与中国科大联合成立高可信软件工程中心负责研究成果产业化，并于2017年成立合资公司进入市场化运作。

　　“团队的目标就是打破国外垄断。”尽管那时候国内在形式验证领域还处于起步阶段，但是研发团队坚信，只要坚持下去，就一定能做出成果。

　　在2018年国家加大国产软件研发激励的背景下，团队更是坚定了这一目标。特别是人工智能技术在大语言模型上取得重大突破之后，经过多年的努力，他们已成功开发出多款极具价值的产品。

　　“在大语言模型的落地应用方面，我们的产品主要分为三个方向，第一个是人工智能安全评估平台，它可以精准检测代码漏洞，还能审查软件是否符合法律安全和公序良俗。”王浩介绍道，“第二个是编码助手，它与程序分析和形式验证技术有机融合，可以帮助程序员提高工作效率。第三个是漏洞挖掘系统，借助深度学习模型，解决了传统漏洞分析手段在复杂代码面前的局限性。”

　　在刚刚举行的2025飞机航空电子国际论坛上，科大国创的这些创新成果和产品收到广泛关注。“我们的产品就像是软件的‘体检医生’，能够提前发现潜在的问题，避免软件在运行过程中出现故障。”王浩形象地比喻道。

　　目前，科大国创将高可信形式化技术与机器人编程相结合，创新打造国创星码编程AI助手，帮助开发者自动生成安全、可靠、可信的代码，助力企业提升研发效能和交付速度。星码编程AI助手已在航空航天、运营商、金融、自动驾驶等安全攸关领域试用或实现拓展应用。

　　数据突围：攻坚克难显担当

　　在科研的道路上，困难像一座座大山，而对于王浩所在的科研团队来说，就是不断地去爬山翻越。“在形式验证领域，公开可用数据稀缺，团队自研的SCSL形式规约语言的训练语料极少，面临巨大挑战。”王浩介绍，当时团队成员毫不退缩，验证专家们主动请缨，拿着积累的历史数据资料，一点点整理、筛选，为模型训练提供了宝贵的高质量数据。

　　同时，团队巧妙利用大模型进行语料合成，生成大量扩展数据。“我们通过大模型生成模拟数据，就像是在实验室里‘制造’数据，为模型训练提供了丰富的‘食材’。”王浩形象地比喻道。

　　实验室里，团队成员分成几个小组，其中王浩负责大模型研发、软件智能体研发以及人工智能安全评估平台研发等多个方向。“我主要负责大模型研发，这个方向很有挑战性，但也很有意义。”王浩介绍道。

　　杨大润负责程序形式验证工具的研发，目前的主要工作是形状图逻辑的完善和拓展，致力于降低形式化验证的学习门槛。“形状图逻辑更接近我们一般使用的逻辑，降低使用门槛，同时可视化了程序状态，提高可读性也有利于减少用户出错的可能。”杨大润解释道。

　　黄海军博士负责程序验证服务，将形式化方法与客户需求结合，为客户提供切实有效的解决方案。“我们的验证服务就像是为客户提供量身定制的安全保障，确保他们的系统安全可靠。”黄海军形象地比喻道。

　　市场突围：智能化时代迎来产业风口

　　在当今智能化时代，软件技术已成为企业核心竞争力的关键要素。随着“软件定义一切”理念的深入人心，软件技术在推动社会经济高质量发展中的作用愈发凸显，尤其在航空航天、国防装备、核能、金融、医疗设备、交通等安全攸关领域，开发高可信软件的需求日益迫切。

　　“我们深知高可信软件技术在智能化时代的重要性，这不仅是企业发展的核心竞争力，更是国家安全和经济发展的关键支撑。”王浩在接受采访时介绍，作为国内领先的数据智能产品与服务提供商，科大国创敏锐地洞察到这一趋势，将自身深耕多年的核心技术——高可信软件技术与大模型深度融合，推出了国创星码编程助手。

　　“国创星码编程助手就像开发人员的“得力助手”，能够在软件开发生命周期的各个环节发挥重要作用。”王浩表示，从代码编写阶段的智能提示、错误检查，到后续的代码优化建议，国创星码编程助手不仅能够帮助开发者提高工作效率，更能确保软件的安全性和可靠性。

　　据了解，近年来，科大国创在运营商、电力、交通等优势行业中持续发力。以运营商行业为例，科大国创长期与三大运营商紧密合作，共同推进 AI 智能化升级。自主研发的国创星云大模型，在网络管理、应用集成、综合调度、数据服务、智能客服、运维保障等关键业务领域积极探索应用，显著提升了运营效率与服务质量，有力推动了通信行业的数智化升级。

　　从中国科大软件安全实验室的早期探索，到如今在航空航天、核能、金融、交通等领域的创新应用，这支来自科大国创的科研队伍，始终奋斗在高可信软件技术研发的最前沿，不仅为开发者提供了强大的工具支持，更为中国软件产业的自主可控与高质量发展筑牢根基。(完)

责任编辑：张俊