CCF软件大会2026|软件研发体系与工程实践论坛

二、论坛组织委员会

• 杜晓宁 （莫纳什大学）

• 闫  明 （清华大学）

三、论坛安排

日程安排：

时间：2026年11月6日，9:00~11:35

地点：天津市社会山国际会议中心酒店 三层30号会议室

论坛议程：

四、论坛报告嘉宾简介

1. 报告人：王劲松 副校长

题目：可信数据空间探索与实践

摘要：本报告围绕可信数据空间的探索与实践，从政策演进、技术架构、应用场景三个维度展开系统论述。首先，梳理国家数据局《可信数据空间发展行动计划（2024—2028年）》及2025年创新发展试点工作的政策脉络，阐明可信数据空间在数据要素化进程中的战略定位。其次，深入剖析可信数据空间的三大核心能力体系，阐述"数据可用不可见、可控可计量"技术范式的实现路径。结合团队在可信数据空间数据安全流通关键技术方面的研究成果，分享隐私计算、区块链与数据安全共享技术的融合创新经验，探讨如何在保障数据安全与隐私的前提下实现跨域数据的高效流通与价值转化。最后介绍面向未来的技术与应用场景演进方向和制度设置方面的思考。

简介：第十四届全国人大代表，九三学社天津市委会副主委，天津职业技术师范大学副校长、二级教授、博导。享受国务院特殊津贴专家。2017年获第二届国家网络安全优秀教师奖。连续当选CCF第十、十一、十二、十三届理事，CCF杰出会员。教育部全国学校国家安全教育指导委员会委员。中国网络空间安全学会理事。计算机病毒防治技术国家工程实验室副主任。长期从事网络安全、数据智能、隐私计算和区块链研究。近年主持国家和省部级重大重点项目20项，拥有国内授权发明专利30项、美国专利2项。第一完成人成果“可信数据空间数据安全流通关键技术及应用”获2025年度天津市科学技术进步一等奖。

2. 报告人：吴鹏飞 华为开源社区AI工程专家

题目：迈向AI Native: 开源社区工程体系重构与Agentic Workflow实践

摘要：随着大模型与Agent技术快速发展，开源社区正加速迈向AI Native时代。然而，拥有先进模型并不意味着具备高质量的AI研发能力。AI4开源社区的本质仍是软件工程，其核心是面向AI Agent重构工程体系，实现从“人使用AI工具”向“AI深度融入社区作业流程”的范式转变。

本次演讲围绕“社区全面拥抱AI、人人用AI”，系统介绍开源社区AI Native转型的关键路径：以代码为中心建设AI Native Repo，推动研发工具CLI化与能力标准化，将构建、测试、评审、发布等工程能力转化为Agent可理解、可调用、可验证的工具，使CI/CD成为AI基础设施；通过统一AI工程规范、知识管理与质量约束，构建“人主导决策、AI主导执行”的Agentic Workflow，实现社区研发流程重构。同时，探讨高质量AI Coding的核心要素：先进模型、产品经验知识、传统软件工程能力与质量看护，以及人员AI素养。AI本质上是组织工程能力的放大器，既能放大成熟组织的效率与质量优势，也可能放大工程体系薄弱带来的混乱与风险。因此，社区Committer、架构师、SE等角色需要向懂AI、懂全栈的复合型人才转型。

最后，结合华为计算产品线在昇腾硬件快速迭代、软件持续演进背景下的AI4AI实践，分享Torch NPU算子智能开发、芯片验证、训练与推理新模型适配，以及社区工具链AI Native转型等典型案例，探讨如何构建持续更新、自我进化的工程知识体系，探索可落地、可持续的AI原生开源社区软件工程新范式。

简介：华为开源社区AI工程专家，历任计算产品线持续集成管理委员会主任、软件构建总工等，长期深耕软件工程工具领域，专注于DevOps CI/CD 大规模团队的研发效能改进，深度参与华为计算产品线可信构建、SBOM、软件供应链安全、AI Native Repo、AI Friendly 工具链、Agentic Workflow能力、PyTorch 0Day等工程工具能力建设，当前聚焦开源生态工程能力、AI4SE规划和落地。

3. 报告人：杨洋 副总经理

题目：驾驭“智”研-全周期触达可信关键装备软件研制过程

摘要：大模型正在重新定义软件生产方式，但关键装备软件无法建立在“看起来正确”的概率性生成之上。航空、航天、核能、汽车电子及工业控制等高安全领域要求软件研制全过程可定义、可执行、可验证、可追溯。如何以确定性的工程体系驾驭概率性的人工智能，使AI从通用内容生成工具进化为受流程约束、被专业工具赋能、能够交付验证证据的工程智能体，是智能化软件工程迈向深水区必须解决的核心问题。

本次演讲围绕“驾驭‘智’研”，系统介绍面向可信关键装备软件的AI原生研制新范式：以IIA Cloud构建AI原生软件工厂，将企业知识、研发流程、专业工具与质量规则沉淀为智能体可理解、可调用、可验证的工程能力；通过需求、架构、设计、开发、测试及质量等多角色智能体协同，以及自动化工作流编排，贯通需求分析、方案设计、代码生成、测试验证、发布回归等研制活动，推动研发模式从“人使用AI工具”演进为“人定义目标与边界、AI执行流程与任务、工具提供专业能力、证据支撑工程决策”。

最后，报告还将重点介绍VxSPACE如何融合AI、真实硬件与专业工具链，构建面向关键装备嵌入式软件的自主研制平台，使AI具备全自动开发与移植嵌入式实时操作系统、通信协议栈等底层基础软件的能力。通过贯通软件设计、开发、硬件调试与实机验证，推动AI从“自动生成代码”迈向“自主研制操作系统级嵌入式软件”，探索关键装备嵌入式软件智能化研制的新范式。

简介：杨洋，博士，高级工程师，上海丰蕾信息科技有限公司副总经理，长期深耕高安全工业软件与可信软件工程领域，面向国家高端工业软件自主可控需求，重点开展形式化方法、程序分析、模型驱动开发、代码自动生成及嵌入式软件验证等关键技术研究。主持上海市服务业发展引导资金项目，深度参与国家重点研发计划、国家发改委F128车控操作系统关键技术攻关等重大项目，推动形成覆盖需求建模、仿真分析、代码生成与安全验证的高安全工业软件技术体系。相关成果在核能、航空、汽车电子及工业控制等安全攸关领域实现工程化应用。主导推动SMAVE Model Suite核心组件通过TÜV南德意志集团最高安全等级认证，多项产品入选上海市首版次软件产品、工业软件及创新产品推荐目录，是国产高安全工业软件技术攻关与产业化应用领域的青年骨干人才。

4. 报告人：李超 工程师

题目：航天嵌入式软件智能化测试技术研究进展

摘要：以大语言模型为代表的人工智能技术快速发展，正在推动航天嵌入式软件测试方法与工具的创新。将人工智能与程序分析、领域知识及专业测试工具相结合，为提升软件测试效率与质量提供了新的技术途径。本报告将介绍团队在航天嵌入式软件智能测试方面的研究进展，包括测试需求智能生成、代码智能走查、静态分析误报智能消除、单元测试用例智能生成和配置项动态测试用例智能生成等方法，以及相关工具研制与工程应用进展，并展望人工智能在航天嵌入式软件测试领域的应用趋势。

简介：李超，博士，北京轩宇信息技术有限公司智能测试技术负责人，CCF形式化方法专业委员会委员。主要从事航天嵌入式软件可信保障与智能测试技术研究，以及相关工具软件的研制。主持国家自然科学基金青年项目，在ISSTA、FSE等会议及核心期刊发表论文10余篇，获授权国家发明专利5项。推动程序分析与人工智能技术在测试需求分析、代码审查和测试用例生成等环节的工具化应用，相关成果在嫦娥、神舟等国家重大型号的软件测试中得到应用。获第二十五届北京优秀青年工程师称号，入选北京市“高创计划”科技新星计划。

5. 报告人：何思雨 金山办公教育行业解决方案专家

题目：从单点工具到全流程智能：智能体工具在教育行业演进实践

摘要：高校 AI 建设正从"配工具"转向"建平台"，随之浮现平台碎片化、知识难以复用、成本失控与安全合规等共性问题。本报告基于若干高校的落地观察，围绕三个关键问题展开：知识底座如何统一治理非结构化文档与结构化业务数据；平台如何避免各二级单位重复建设、实现经验全校复用；成本与安全如何通过模型分级调度与统一权限体系做到可控可审计。围绕上述问题，报告将提出一个可讨论的建设框架与推进节奏供探讨。

简介：金山办公教育行业解决方案专家，长期深耕办公领域AI建设及教育行业数智化建设，助力多家头部高校实现数智化转型。

五、论坛组织委员会简介

1. 论坛组委会：杜晓宁 高级讲师

简介：杜晓宁博士现任莫纳什大学信息技术学院高级讲师、澳大利亚研究理事会青年研究者基金（ARC DECRA）研究员。她于2020年获南洋理工大学博士学位，2014年获复旦大学学士学位。她的研究主要聚焦于可信与高效人工智能，尤其关注其在软件工程中的应用。她已在国际顶级会议和期刊发表论文50余篇，研究成果多次获得或获提名ACM SIGSOFT杰出论文奖。她现任ACM Transactions on Software Engineering and Methodology（TOSEM）副主编，并曾担任ICSE、FSE等软件工程领域重要国际会议的组委会成员。她曾获2024年莫纳什大学信息技术学院院长年度杰出青年研究者奖和2024年谷歌学者研究奖（Google Research Scholar Award）。

2. 论坛组委会：闫明 助理研究员

简介：清华大学水木学者，博士后研究员，CCF软件工程专委、CCF网络与系统安全专委执行委员。主要研究方向包括深度学习系统及硬件设计程序的自动化测试与调试。主持和参与博士后面上项目，国家自然科学基金面上项目，入选博士后创新人才支持计划。研究成果发表于ICSE，FSE，ASE，EuroSys，TCAD，TSE，TOSEM等CCF-A类会议及期刊，获ACM SIGSOFT杰出论文奖及提名奖，多次担任ICSE，FSE，ISSTA，AIWare，TSE，TOSEM等会议和期刊审稿人。