CCF系统软件专委会走进高校活动在湖南师范大学信息科学与工程学院成功举办

（通讯员：李承窈 唐韩宇 侯欣岑）2026年9月18日下午，由中国计算机学会系统软件专业委员会（CCF系统软件专委会）主办、湖南师范大学信息科学与工程学院承办的CCF系统软件专委会走进高校活动在湖南师范大学中和楼342报告厅成功举行。本次活动聚焦智能软件工程与系统软件质量保障等前沿方向，邀请北京航空航天大学软件学院葛宁教授、南京大学软件学院房春荣教授、西安交通大学智能网络与网络安全教育部重点实验室晋武侠教授、国防科技大学计算机学院傅翔教授，围绕智能化模型驱动开发、智能计算系统质量保障、架构知识驱动的软件研发、生态型软件工厂建设等议题作了精彩报告。

活动开幕环节，湖南师范大学信息科学与工程学院院长张锦教授和CCF系统软件专委会代表、南京大学许畅教授分别致辞。随后，四场学术报告分两个环节进行，第一环节由国防科技大学李姗姗教授主持，第二环节由武汉大学辛奇教授主持。

葛宁教授以《安全攸关软件的智能化模型驱动开发方法与工具》为题，围绕航空航天等安全攸关领域的模型驱动软件开发展开报告。报告指出，模型驱动方法有助于将问题发现前移并加强质量保障，但传统方法存在建模效率较低的问题，制约了其工程应用。针对这一问题，报告提出“模型驱动+智能增强”的安全攸关软件开发模式，并介绍了智能化模型驱动开发技术、相关工具环境的研制进展及应用验证情况。

房春荣教授以《智能计算系统质量保障：从算子测试到全栈可信验证》为题，围绕智能计算系统质量保障作专题报告。报告指出，随着人工智能系统呈现数据驱动、软硬件异构和跨层优化等特征，其质量风险已由单一算子延伸至框架、编译器和运行环境。报告介绍了从算子精度测试、算子组合与框架测试，到编译优化、跨层缺陷定位和语义验证等研究，梳理了智能计算系统测试从发现错误向判定错误、定位错误和验证正确性拓展的技术路径，并探讨面向智能计算基础软件的持续评测与可信保障机制。

晋武侠教授以《当软件研发遇见Agent：架构知识是AI提效缺失的一环》为题，分析了软件3.0时代AI在大型、持续演化的项目仓库中应对复杂任务时面临的挑战。报告指出，目标软件仓库深层语境知识的缺失，尤其是架构及其演化知识的缺失，是当前影响AI提效的重要瓶颈。报告介绍了其团队提出的仓库级知识分析框架：通过融合静态结构依赖与动态演化历史，挖掘包含架构信息的仓库知识，构建结构化知识底座，为AI提供可演化的仓库记忆，并展示了该框架在软件工程任务中的应用效果。

傅翔教授以《面向复杂软件系统研发的生态型软件工厂建设思考》为题，从软件规模和复杂度的演进切入，回顾了软件研发方式从个体开发、瀑布模型到敏捷开发、DevOps和软件工厂的演变。报告结合大型企业与政务部门中多种工具长期并存、数据标准不统一、平台绑定和迁移困难等问题，提出生态型软件工厂的建设思路：以统一的研发标准为基础，灵活选用工具，减少对单一厂商的依赖，推动研发数据统一归集、便捷迁移和有效评估。

四场报告围绕安全攸关软件开发、智能计算系统质量保障、架构知识驱动的软件研发和生态型软件工厂建设等主题展开。报告结束后，与会专家与现场师生就相关技术问题进行了交流。活动最后，CCF系统软件专委会青年工作组负责人、武汉大学辛奇教授作总结。本次活动集中展示了系统软件与智能软件工程领域的研究进展，为学院师生了解相关前沿方向、拓展科研思路提供了交流平台。

编辑：李承窈 唐韩宇 侯欣岑

一审：于小海

二审：张连明

三审：张锦