2025高质量软件智能化技术论坛举办

3月14日，“高质量软件智能化技术论坛”在长沙成功举办。本届论坛由中国指挥与控制学会(CICC)主办，CICC智能测评专业委员会(筹)和湖南泛联新安信息科技有限公司联合承办，长沙市开福区委人才工作领导小组办公室、中国计算机学会长沙分部、国链安可计算机产业促进中心共同协办。论坛以“AI赋能·构建高质量软件”为主题，采用特邀报告和圆桌对话相结合的形式进行，重点聚焦软件需求分析、设计、测试全生命周期的多技术关联与综合应用，围绕软件质量测试、安全测试、开发效能等学术前沿热点开展交流研讨。来自科研院所、高校、企业等各领域的220多位专家学者参会。

软件质量管理专家司永贵、中国船舶集团有限公司第七〇九研究所研究员徐明迪、复旦大学计算机科学技术学院助理研究员张磊、国防科技大学计算机学院教授董威、工业和信息化部电子第五研究所研究员蒋沛航、深圳市汇川技术股份有限公司技术经理李宇、国防科技大学电子对抗学院教授李强分别以“软件质量管理探讨”“美军网络安全与试验鉴定研究”“人工智能与软件安全：大模型协同的开源代码漏洞治理”“智能化与形式化共促人机物融合软件自动生成”“大模型赋能军用软件测试的应用实践”“AI赋能工控：效能与质量的双提升实践”“网络系统软件安全测试的智能方法与实践”等为主题作论坛主旨报告。报告内容覆盖了软件质量及管理、软件质量测试、软件安全测试、软件智能测试、软件形式化、软件质量与效能等前沿议题，分享软件测试和安全测试中的质量及质量管理的经验，以及软件测试和安全测试的智能化、形式化方法，深入探讨软件测试、软件质量、软件效能的新理论、新概念和新方法及其应用的可行性与前瞻性。

圆桌对话环节，邀请了国防科学技术大学教授毛新军、工业和信息化部电子第五研究所研究员蒋沛航、复旦大学计算机科学技术学院助理研究员张磊三位专家，围绕工业领域的数据和代码稀缺，如何破解AI训练的数据问题？高安全性系统的软件开发测试如果广泛应用大模型，是否需要考虑大模型的安全问题？军工、汽车等行业软件工程化要求高，例如GJB5000B和ASPICE体系认证，研发管理平台非常多样，智能研发测试如何落地？未来智能化的软件研发工具预计会有什么样的变化等议题展开了讨论和交流。

此外，论坛还征集了湖南泛联新安信息科技有限公司、北京凯云恒达科技有限公司的产品进行了集中展示，湖南泛联新安信息科技有限公司展示了其软件测试、安全测试、FPGA测试和大模型应用的产品，北京凯云恒达科技有限公司展示了其AI赋能的创新研发最新成果和产品。

中国指挥与控制学会 供稿