CCF软件大会2026 | 数据驱动的软件缺陷检测、定位与修复论坛

二、论坛组织委员会

• 姜艳杰  （天津大学）

• 刘    辉  （北京理工大学）

• 窦文生  （中国科学院软件研究所）

• 钟    浩  （上海交通大学）

• 张    路  （北京大学）

三、论坛安排

日程安排：

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

地点：天津市社会山国际会议中心酒店，四层3号多功能厅

论坛议程：

四、论坛报告嘉宾简介

1. 报告人：张颖 研究员

题目：数据驱动的鸿蒙静态告警修复方法实践

摘要：鸿蒙是面向万物互联的重要新兴软件生态，其700余个代码仓库涉及多语言协同、跨文件依赖与平台特有语义，为大语言模型和编程智能体的应用带来了新的挑战。本报告围绕鸿蒙静态告警修复，介绍从真实软件数据出发、以实证发现驱动方法设计的研究与实践。首先，我们构建了面向鸿蒙的仓库级跨语言告警修复基准OH-Bench，提供可复现的评测环境，通过系统性评测揭示现有模型与智能体在跨文件修复、平台语义理解等方面的瓶颈，以及不同模型之间的能力互补性。基于这些发现，我们进一步设计多智能体协作修复系统OH-MAS，通过修复契约约束补丁生成，将类型化诊断反馈累积为后续修复约束，并利用同一诊断信号自适应选择模型，提升复杂告警的自动修复能力，在OH-Bench评测中取得SOTA结果。本报告将分享从数据集建设、修复能力分析到智能修复方法设计的实践经验，为鸿蒙社区提供可复用的评测基准与修复技术，也为其他新兴软件生态的自动化缺陷治理提供参考。

简介：张颖，北京大学正研究员、博士生导师、软件研究所所长助理，国家某领域高层次人才、中国科协首批“青年托举人才”、CCF优博。长期从事大数据与人工智能领域研究，创新提出反射式互操作方法，构建接口生成、数据共享与智能协同的一体化技术体系，实现异构系统间无需源码的高效业务协同与数据共享。近年来主持国家重点研发计划等重大项目10项，获中美发明专利36项，发表论文30余篇，科研成果获国家技术发明一等奖、教育部科技进步一等奖、国家某部委科技进步二等奖、中国电子学会（CIE）技术发明特等奖及中国计算机学会（CCF）青年软件创新奖。牵头研发的“API互操作平台”已在部委、地方政府及企业广泛部署，支撑“最多跑一次”等国家数字治理改革，高效提升业务系统协作效率和数据可信流通水平，产生显著社会经济效益。

2. 报告人：玄跻峰 教授

题目：面向新兴编程语言的缺陷检测：实践与思考

摘要：新兴编程语言提供了便捷和安全的语言特性。随着应用场景逐步广泛，传统编程语言的缺陷发现日益复杂，而新兴编程语言特性和传统语言特性更新带来了新的软件缺陷场景。本报告围绕新兴编程语言，介绍面向新语言特性、跨语言特性的缺陷检测场景，简述近期的一些缺陷检测实践与思考。

简介：玄跻峰，武汉大学教授、博士生导师，计算机学院副院长。CCF杰出会员，武汉计算机软件工程学会常务理事，武汉市开源创新中心（软件工程）主任。主要研究领域为软件分析与测试，在软件工程权威期刊会议发表论文100余篇。担任全国演化计算与学习会议（ECOLE）2021主席，CCF中国软件大会（ChinaSoft）2025本地主席。论文获ACM SIGSOFT、IEEE TCSE等杰出论文奖。入选IEEE ICSME杰出服务奖、武汉大学查全性教授1977奖教金、华为开发者布道师、首批中国科协青年人才托举工程、CCF教师助推计划；获CCF NASAC青年软件创新奖、CCF优秀博士论文奖。

五、论坛组织委员会简介

1. 论坛组委会：姜艳杰 副教授

简介：姜艳杰，天津大学副教授，博士生导师。研究方向主要包括人工智能（大语言模型）、数据挖掘、智能软件开发、软件安全、隐私保护。获得CCF科学技术奖、ACM SIGSOFT杰出论文奖、百度学术新星奖、入选“博士后创新人才支持计划”。

2. 论坛组委会：刘辉 教授

简介：刘辉，北京理工大学计算机学院教授，CCF软件工程专委会副主任委员（执行），长期从事软件质量保障和智能软件开发方面的研究和教学工作。发表CCF A类论文五十余篇，曾获得IET Premium Award、RE 最佳论文奖、ICSE 杰出论文奖（2022、2026）以及 ESEC/FSE 杰出论文奖、CCF 自然科学二等奖、北京市技术发明二等奖。智能化软件重构的部分研究成果被 Eclipse采纳集成。

3. 论坛组委会：窦文生 研究员

简介：窦文生，中国科学院软件研究所研究员。研究方向为软件分析与测试，重点关注数据库系统、分布式系统、智能体系统等基础软件的质量保障技术。在TSE、TOSEM、ICSE、FSE、ASE、VLDB、ICDE、EuroSys等高水平期刊与会议上发表论文70余篇，多次获得ACM SIGSOFT杰出论文奖、软件学报高影响力论文奖。入选中国科学院青年创新促进会优秀会员、微软亚洲研究院铸星计划学者，曾获得CCF优秀博士学位论文奖、NASAC青年软件创新奖、中创软件人才奖等荣誉。

4. 论坛组委会：钟浩 研究员

简介：钟浩，上海交通大学研究员，博士毕业于北京大学。主要研究软件缺陷检测、软件演化和经验软件工程。发表论文80余篇，包括在软工顶会ICSE和ASE发表的3篇单独作者论文。12篇论文谷歌学术引用过百，其中7篇为第一作者论文，1篇获得ACM SIGSOFT杰出论文奖和ASE最佳论文奖。多次担任ICSE、FSE和ICSE等知名会议的程序委员会委员。获得SANER和ICSME的最佳评审人奖。现为IEEE Transaction on Software Engineering的副编辑。

5. 论坛组委会：张路 教授

简介：张路，北京大学计算机学院教授，2000年获北京大学计算机科学技术博士学位。主要研究领域是软件分析与测试，在软件工程领域重要期刊和会议上发表论文100余篇。现任《Science China: Information Science》、《软件学报》编委，曾任2017年ICSME程序委员会共同主席和FSE、OOPSLA、ASE、ISSTA等重要国际会议的程序委员会委员。