CCF软件大会2026|Agentic AI分析与测试论坛

一、论坛介绍

"Agentic AI分析与测试"论坛聚焦于构建可信赖的智能体系统，全面覆盖能力评估、性能分析、可靠性保障、安全防护、可解释性等核心维度，探讨系统化的评测方法论与质量保障实践。论坛将汇聚多位学术界专家，深入讨论智能体的行为机理、评估指标体系、测试验证框架及工程实践，推动Agentic AI从"可用"走向"可信"，加速智能体技术的规模化落地与产业应用。

本论坛的设立具有重要的学术与工程意义。在学术层面，论坛推动软件工程方法论与智能体技术深度融合，拓展传统测试理论在非确定性、自主性场景下的适用边界，探索面向智能体系统的新型评估范式，为学术研究提供新的问题域与方法论；在工程层面，论坛通过系统研究智能体系统的分析与测试机制，有助于建立可验证、可解释、可控的智能体运行框架，形成行业共识与最佳实践，为产业界大规模部署智能体系统提供安全保障与质量基准。该论坛将搭建跨学科交流平台，促进人工智能、软件工程与系统安全等领域的协同创新，为Agentic AI的规范化发展与高质量应用奠定基础。

二、论坛组织委员会

• 魏峻（中国科学院软件研究所）
• 高钰（中国科学院软件研究所）
• 张雅坤（哈尔滨工业大学（深圳））
• 刘哲（中国科学院软件研究所）

三、论坛安排

日程安排：

时间：2026年11月7日，15:20-18:20

地点：天津市社会山国际会议中心酒店，一层1号大宴会厅

论坛议程：

四、论坛报告嘉宾简介

1. 报告人：谢晓园 教授

题目：从智能生成到可信交付：代码大模型的质量挑战与测试验证

摘要：人工智能与大模型技术正重塑软件开发流程。一方面，越来越多的开发者已逐步认可其在软件开发中的价值，在国产化软件生态建设、跨平台适配等场景中，深度学习等智能化软件开发技术正在成为突破技术垄断的关键支撑。另一方面，软件开发效率的提升并不天然意味着软件质量的同步提升。软件系统具有高可靠、高安全和持续演化的基本要求，如何对人工智能参与开发过程中产生的代码、模型及系统行为进行有效验证，并建立与其快速生成能力相匹配的质量保障能力，正在成为大模型技术走向规模化软件工程应用的"必答题"。当前，从底层深度学习框架与算子，到上层模型及智能应用，大模型赋能的软件开发在不同层次均面临正确性、安全性、可靠性等多维质量挑战。尤其随着代码生成和自主开发能力不断增强，传统以人工审查和事后测试为主的质量保障方式，也越来越难以适应大模型驱动的软件生产速度与复杂性。本次报告将从上述多个层面出发，探讨如何构建面向代码大模型设计高效的测试方法。

简介：谢晓园，武汉大学计算机学院教授、博导，武汉大学珞珈青年学者，武汉大学特色化示范性软件学院副院长，主要研究方向为软件质量保障、智能化软件工程。主持国家自然科学基金重点项目、科技部重点研发课题、国家自然科学基金面上项目（三项）、基金委外国学者研究基金。获中创软件人才奖、NASAC青年软件创新奖、ACM SigEvo HUMIES奖、CCF A类会议杰出论文奖（四次）、ICST2025十年最具影响力Journal First论文奖、湖北省科技进步一等奖等科技奖励。参与了四项软件测试国家标准的制订，均已实施。担任软件工程CCF A刊IEEE TSE编委、CCF B刊FCS青年编委、软件工程知名国际会议ICST2026和Internetware2026程序委员会主席。

2. 报告人：黎立 教授

题目：鸿蒙AI Coding实践

摘要：针对传统开发语法适配难、API选型繁琐、调试耗时等痛点，利用AI Coding技术实现代码智能生成、纠错适配、性能优化等功能已经成为常态，被证明确能有效提升开发效率和质量。本次分享聚焦鸿蒙AI Coding落地实践，包括鸿蒙AI辅助研发工具链及其在软件工程全生命周期的应用实践。最后介绍AI Coding使能应用鸿蒙化快速迁移的操作方法，低成本、高效率完成安卓应用鸿蒙化迁移，助力开发者快速落地鸿蒙生态开发。

简介：黎立，北京航空航天大学教授、博士生导师，入选国家级青年人才项目。研究方向为移动软件工程和智能软件工程，累计发表高水平期刊和会议论文200余篇，谷歌学术引用超10000次，获得最佳/杰出论文奖励10项，软件工程顶会ICSE10年最有影响力论文奖一项。荣获2024年IEEE TCSE新星奖(首位大陆学者)，2023年ACM北京新星奖，2023年MSR Ric Holt青年研究成就奖，2020年澳大利亚研究理事会优秀青年研究奖。曾被评为全球前三最具影响力的青年软件工程研究人员。受邀担任ACM Computing Survey、EMSE、STVR等期刊编委以及ICSE、FSE、ASE、ISSTA等国际会议的程序委员会成员。

3. 报告人：林云 副教授

题目：交互式需求编译：面向软件开发的双向驾驭

摘要：随着大模型与智能体逐步参与软件开发，软件构造正在从"人工编写代码"转向"通过需求、约束与测试驾驭智能体生成软件"。然而，用户往往难以在开发初期一次性给出完整、精确且可执行的需求，许多需求只有在软件逐步生成和交互过程中才能被进一步发现、澄清和确认。围绕这一问题，本报告探讨"交互式需求编译"的基本思想：通过人和智能体之间持续的交互，将模糊、渐进形成的用户意图逐步转化为更加明确、可执行和可验证的软件需求。一方面，智能体可以辅助用户识别需求中的歧义、缺失与潜在冲突，促进需求的持续澄清；另一方面，软件生成过程及其产生的中间结果也可以反过来帮助用户理解和完善自身需求，使需求表达从一次性的前置活动转变为贯穿软件开发过程的持续活动。在这一过程中，需求、测试与生成软件之间不再是简单的线性关系，而形成持续演化和相互反馈的闭环。本报告希望进一步探讨面向智能体软件开发的"双向驾驭"模式：人通过需求与约束驾驭智能体进行软件构造，而智能体则通过持续反馈帮助人发现、理解和完善尚未充分表达的需求。

简介：林云, 上海交通大学计算机科学与技术系副教授，系副主任，博士生导师，原新加坡国立大学助理教授（研究岗），入选国家海外高层次青年人才计划、华为x-explore人才计划。研究方向包括自动编程、可解释AI、网络反诈等，获ICSE2018杰出论文奖，及多次中国软件大会原型研究奖。担任FSE'26 领域主席、ICSE、FSE、USENIX Security等重要国际会议的程序委员会委员。主持国家自然科学基金委海外优青项目及面上项目和多项校企合作。自动编程技术落地于豆包代码模型以及Trae IDE，GUI测试相关研究入选信通院优秀案例等。

4. 报告人：谢肖飞 助理教授

题目：Specification-Driven Software Testing with LLMs

摘要：Software specifications are essential for guiding implementation and testing, but linking natural-language specifications to source code remains challenging. In this talk, I will present our recent work on LLM-based specification-driven testing. SPEC2CODE maps protocol specifications to function-level code implementations, while Refine2Diff uses specification-driven code refinement to detect inconsistencies between specifications and implementations. I will further discuss how specification-driven testing can be extended to Agentic AI systems, where expected agent behaviors and constraints can serve as specifications for systematically testing agent actions. These studies explore how LLMs can turn specifications into actionable knowledge for testing both traditional software and emerging AI systems.

简介：Dr. Xiaofei Xie is an Assistant Professor and Lee Kong Chian Fellow at Singapore Management University. He obtained his Ph.D from Tianjin University and won the CCF Outstanding Doctoral Dissertation Award (2019) in China. Previously, he was a Wallenberg-NTU Presidential Postdoctoral Fellow at NTU. His research mainly focuses on the quality assurance of both traditional software and AI-enabled software. He has published 100+ top-tier conference/journal papers in the areas of software engineering, security and AI. In particular, he has received eight ACM SIGSOFT Distinguished Paper Awards.

5. 报告人：万成城 研究员

题目：智能体软件集成故障研究

摘要：智能体在进行系统集成时，由于智能体输出具有开放性，而与其交互的软件接口往往存在严格约束，导致集成故障频发。智能体软件具有故障模式多样、状态空间庞大及故障根因定位困难等特点，传统测试方法与静态分析技术的有效性受限。本报告将介绍我们近期在该方向上的研究与实践，涵盖故障模式分析、运行时故障修复、自动化测试等内容，并探讨智能体软件集成故障质量保障技术。

简介：万成城，华东师范大学软件工程学院研究员，上海创智学院全时导师。主要研究方向是智能软件系统和工业软件，在ICSE、OSDI等会议发表论文40余篇，获ICSE最佳论文奖。主持国家自然科学基金青年基金、重大研究计划培育项目。入选国家级海外高层次青年人才计划、上海市白玉兰人才计划。

6. 报告人：刘名威 副教授

题目：领域知识增强的软件维护智能体

摘要：随着大模型智能体逐渐应用于软件维护，如何利用领域知识提升智能体对复杂项目的理解与任务执行能力成为重要问题。本报告聚焦领域知识增强的软件维护智能体，探索融合领域代码、项目文档、开发经验与工具知识等多源知识，增强智能体的项目理解、任务规划与执行能力，并围绕缺陷修复、新特性添加、项目级代码迁移等典型软件维护任务，介绍相关研究进展与实践探索。

简介：刘名威，中山大学软件工程学院副教授、博士生导师，"逸仙学者计划"新锐学者。2024年加入中山大学，先后于复旦大学获学士（2017）、博士（2022）学位，并完成博士后研究。研究聚焦软件工程与人工智能交叉，方向包括软件开发知识图谱与知识增强的智能开发与维护。近年在TSE、TOSEM、ICSE、FSE、ASE等国际顶级期刊与会议发表论文三十余篇，获ACM SIGSOFT杰出论文奖（FSE 2023）、IEEE TCSE杰出论文奖（ICSME 2018），主持多项国家级项目，成果在华为、荣耀、腾讯等企业应用。

五、论坛组织委员会简介

1. 论坛组委会：魏峻 研究员

简介：魏峻，中国科学院软件研究所研究员、博士生导师、北京市重点实验室主任、中国科学院软件研究所学术/学位委员会委员、中国科学院大学岗位教授，兼任中国计算机学会软件工程和服务计算专业委员会委员，《软件学报》责任编委、《计算机科学与探索》执行编委、《计算机集成制造系统》编委。魏峻研究员长期从事软件工程方法与技术的基础性研究，主持研制了网驰系列中间件平台，围绕云计算与大数据、深度学习框架、微服务架构、无服务器架构、区块链等新型分布式软件系统的正确性、可靠性、性能、安全等方面开展系列深入研究。主持承担了国家自然科学基金重点、国家重点研发计划课题、国家863/973计划课题、国家科技支撑计划课题等20余项，在TSE、TKDE、TOSEM、ICSE、FSE、ASE、ISSTA、VLDB、EuroSys、SC、Middleware等国内外重要学术刊物与国际会议上发表学术论文200余篇，授权发明专利20多项，获得国家技术发明奖二等奖、国家科学技术进步奖二等奖、湖南省技术发明一等奖、中国电子学会电子信息科学技术一等奖、北京市科学技术一等奖。

2. 论坛组委会：高钰 副研究员

简介：高钰，中国科学院软件研究所副研究员，硕士生导师。主要研究方向为软件工程、系统可靠性，在分布式系统可靠性分析、测试和验证方面取得系列创新成果，在ISSTA、ICSE、EuroSys、FSE、ASE等领域内重要会议与刊物上发表论文20余篇，入选中国计算机学会博士学位论文激励计划（2023）、中国科学院软件研究所优秀青年科技人才计划（2025），获得中国科学院院长奖（2019）、中国科学院优秀博士学位论文奖（2023）、ACM SIGSOFT杰出论文奖（FSE 2018）等。研制的分布式系统测试与验证工具应用于ZooKeeper、Raft等重要开源分布式系统，以及达梦、华为、阿里等头部企业，提高了相关系统的可靠性。

3. 论坛组委会：张雅坤 副教授

简介：张雅坤，哈尔滨工业大学（深圳）计算机学院副教授，博士毕业于北京大学，师从张路教授和郝丹教授，曾赴新加坡国立大学访问；入选中国科协青年人才托举工程（博士生专项）、CCF系统软件专委博士生激励计划提名奖、腾讯顶级人才计划"青云计划"、字节跳动顶级人才计划"筋斗云计划"、北京市优秀毕业生、北京大学校长奖、中科院院长奖。长期从事智能化软件工程和大语言模型相关研究，主要关注移动应用测试、智能需求工程、多智能体协作等。研究成果发表于 ICSE、FSE、TOSEM 等CCF-A类软件工程国际会议/期刊，担任CCF-A类软件工程会议ICSE、FSE的程序委员会成员及期刊TSE、TOSEM 的审稿人。研究成果在微软、华为等公司应用。

4. 论坛组委会：刘哲 副研究员

简介：刘哲，中国科学院软件研究所副研究员、硕士生导师。主要从事智能化软件工程、软件测试、人机交互与大模型智能体等方向研究。已在 ICSE、FSE、ICML 等国际重要会议和期刊发表 CCF-A 类论文30余篇，其中以第一作者发表 CCF-A 类论文15篇，Google Scholar累计引用2400余次。主持国家自然科学基金青年基金项目，作为项目骨干参与国家重点研发计划、中国科学院先导专项等科研项目。曾获 ACM学生研究竞赛全球总决赛冠军、ACM杰出审稿人、ACM杰出论文荣誉提名奖、CCF软件工程专委优秀博士论文激励计划、中国科学院优秀博士学位论文、中国科学院院长奖等荣誉。