AiDD研发数字峰会

智能缺陷检测与定位

智能缺陷检测与定位是保障软件质量、提升研发效率与系统安全性可靠性的核心支撑技术。当前，大语言模型技术持续迭代，重塑了代码审查、软件测试、漏洞溯源、缺陷归因的传统模式，更在工业场景和复杂系统中实现深度落地。本论坛聚焦大模型技术飞速发展的背景下，智能缺陷检测与定位的前沿技术突破、实际应用痛点、以及产业落地路径，深入探讨技术迭代中的新机遇、新挑战与新范式，搭建学界与业界的交流桥梁，推动技术创新与产业实践深度融合。

出品人：谢晓园

武汉大学教授、博导，武汉大学珞珈青年学者，武汉大学特色化示范性软件学院副院长，外国优秀青年学者研究基金获得者。主要研究方向为蜕变测试、软件缺陷定位、智能软件工程等。主持了多项国家自然科学基金，参与多项国家自科基金重点项目、国家重点研发项目等，参与两项软件测试国家标准的制订。在软件工程顶级或知名期刊会议上录用论文50余篇。曾获NASAC青年软件创新奖、ACM SigEvo HUMIES银奖、ACM SigSoft Distinguished Paper Award等学术奖励。

武汉大学计算机学院教授

双维度软件缺陷智能化检测：从功能漏洞到性能瓶颈

任晓雪

浙江大学软件学院“百人计划”研究员

内容简介：

内容软件缺陷是影响系统可靠性与用户体验的核心挑战。传统缺陷研究多聚焦于功能正确性，而忽视了性能层面的隐性缺陷。本报告围绕功能性缺陷与性能缺陷两个维度，系统介绍基于大语言模型（LLM）与智能Agent的缺陷定位与检测前沿进展。

演讲提纲：
1. 研究背景与动机：软件缺陷的双维度挑战，阐述功能性缺陷与性能缺陷的现状、危害与传统方法局限性
2. 功能性缺陷定位与检测：基于LLM的代码故障定位Issue级精准定位技术
4. 性能缺陷度量与检测：代码效率基准构建与项目级性能瓶颈智能识别，填补性能缺陷系统化评估的空白
5. 总结与展望：双维度缺陷检测的统一视角，以及Agent驱动的下一代智能缺陷检测技术趋势

听众收益：
1. 掌握LLM赋能缺陷定位的最新方法：了解大语言模型如何突破传统故障定位的语义理解瓶颈，从代码故障到Issue级别的精准定位技术路径与实践经验
2. 建立性能缺陷的系统化认知：突破""缺陷=功能错误""的传统认知局限，学习如何对代码效率进行科学度量与基准评估，填补性能缺陷研究视野的空白

现担任浙江大学软件学院“百人计划”研究员，研究方向聚焦于智能化软件工程、软件质量保证、vibe coding。近年来在 ICSE、FSE、TSE、ASE、ICLR 等软件工程及人工智能顶会顶刊上发表 CCF-A 类论文二十余篇，申请发明专利十余项，受邀担任 FSE、ICSE、ASE、TSE 等软件工程国际会议/期刊审稿人。曾获 FSE'25 以及 APSEC'24 杰出论文奖（Distinguished Paper Award）。近年来，主持国家自然科学基金青年基金、宁波甬江引才项目、字节跳动、支付宝、华为合作项目等国家级、省部级及企业横向课题多项。部分研究成果已经在支付宝、字节跳动和华为得到应用。

AI时代GUI Agent赋能软件缺陷检测

张雅坤

哈尔滨工业大学（深圳）副教授

内容简介：

在 AI 时代，GUI Agent 正逐渐成为提升软件缺陷检测能力的重要技术路径。传统软件缺陷检测方法在面对复杂图形界面、多步骤交互和动态上下文时，往往存在自动化程度低、场景覆盖不足以及语义理解能力弱等问题。报告人围绕“GUI Agent 赋能软件缺陷检测”开展了一系列研究，探索如何结合大语言模型、界面感知与智能体决策能力，提升缺陷检测的自动化、准确性与实用性。
报告将介绍该方向的最新研究进展，展示 GUI Agent 如何从“能操作界面”进一步发展为“能理解任务、能发现问题、能辅助分析”的智能缺陷检测主体，为 AI 时代软件质量保障提供新的思路与方法支撑。

演讲提纲：
1. GUI Agent在软件工程领域与软件缺陷检测的使用
2. 本课题组在GUI Agent赋能软件缺陷检测的代表工作
3. GUI Agent潜在研究点

听众收益：
1. 了解GUI Agent的现状
2. 启发希望做GUI Agent 赋能软件工程相关的科研的听众

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

从症状、根因到修复：面向开源环境的软件缺陷研究

宋壹

武汉大学弘毅博士后

内容简介：

本报告围绕开源环境下的软件缺陷问题展开，介绍一条从“分析症状”到“定位根因”再到“识别修复”的研究主线。首先，针对错误软件常含多个缺陷、而现有缺陷定位技术普遍依赖单缺陷假设的问题，报告阐释如何通过分析表层失效症状，将多缺陷场景分解为若干单缺陷子任务；随后，面向隔离后的单缺陷定位，进一步讨论如何利用更具针对性且轻量易得的异常触发信息，提升缺陷根因定位的精度与适用性；最后，报告从普通缺陷延伸到安全漏洞，介绍如何突破传统“单补丁假设”，在开源社区中识别与同一漏洞相关的系列隐匿修复补丁。本报告旨在展示面向真实复杂场景的软件缺陷分析过程，为软件安全质量保障领域的研究者带来助益。

演讲提纲：
1.开源环境下的软件缺陷问题与研究挑战；
2.多缺陷场景下的失效症状分析与隔离；
3.单缺陷场景下的异常驱动缺陷根因定位；
4.开源社区安全漏洞隐匿修复补丁识别；
5.开源软件安全质量保障未来展望。

听众收益：
1.认识多缺陷共存这一常见现象对传统缺陷定位技术有效性的影响；
2.了解利用异常信息等轻量运行时线索提升缺陷根因定位精度的思路；
3.理解开源社区中安全漏洞“多补丁问题”及解决方案。

武汉大学弘毅博士后，主要研究方向为智能化软件安全质量保障。主持国家自然科学基金青年基金、国家博后面上项目、湖北省博士后创新人才培养项目、国家博后出国境交流专项资助项目，入选湖北省博士后尖端人才引进计划、国家资助博士后研究人员计划、武汉市青年科技朝阳计划。连续两年获CCF-A类会议杰出论文奖，获ACM武汉优博奖、武汉计算机软件工程学会青年才俊奖、武汉大学优秀博士后奖、CCF开源创新大赛一等奖（1/5）、武汉大学学术创新奖，连续两届获“滴滴e鸣”优秀博士学术论坛一等奖，获评中国研究生网络安全创新大赛全国一等奖指导教师。以第一作者身份发表CCF-A类论文6篇、CCF-B类论文1篇、《软件学报》1篇。任CCF软工专委执委，担任《武汉大学学报（理学版）》特邀编委、软工领域国际知名期刊会议SANER、ICPC、STVR、Internetware、MSR、SAC等的审稿人或程序委员会委员。

AiDD峰会

K+峰会

联系我们