报告题目：AI基础软件测试

报告时间：2025年12月12日14:00

报告地点：Avidol B404会议室

报告人：陈俊洁

报告人国籍：中国

报告人单位：天津大学

报告人简介：陈俊洁，天津大学教授、博导、软件学院副院长，软件工程团队(TJU-WISE Lab)负责人，主持国家优青、重点研发计划青年科学家等项目；博士毕业于北京大学；研究方向主要为基础软件测试、可信人工智能、数据驱动的软件工程等；入选中国科协青年人才托举工程、斯坦福大学发布的全球前2%顶尖科学家榜单，荣获CCF优博、电子学会自然科学一等奖、九项最佳/杰出论文奖等奖项；成果在华为、字节等多家知名企业落地；担任CCF系统软件专委常委，ASEJ、JCST等期刊编委/青年编委，ICSE、FSE、ASE、ISSTA等顶会PC。

报告摘要：AI基础软件是连接AI模型与底层硬件的关键枢纽，其正确性直接关系到AI系统的安全。然而，AI基础软件结构复杂、优化策略多样，传统测试方法难以有效揭示潜在缺陷。本期报告将系统介绍讲者在面向AI基础软件测试领域的技术研究。研究提出融合数据驱动与语义分析的测试用例生成方法，显著提升了测试的合法性与揭错能力。研究聚焦于TVM、MLIR等主流AI编译基础设施，构建了自动化测试框架，对算子转换、编译优化等关键环节实现了系统化验证。实践结果表明，该技术已成功发现并确认上百个真实缺陷，其中多数已被官方社区确认并修复，有效提升了AI编译基础软件的可靠性与安全性，为智能软件质量保障提供了创新性技术路径与方法支撑。

邀请人：金芝