智能时代下软件工程与人工智能的融合趋势-—-一些探索与尝试

报告摘要：

近年来，人工智能 (AI) 和软件工程 (SE) 一直在相互渗透、相互融合。一方面，越来越多的人工智能技术已成功应用于各种软件工程活动，如软件测试、缺陷预测、故障定位、自动修复、自动代码生成与补全等。另一方面，越来越多的软件工程技术用于测试、验证和调试人工智能系统，并揭示了一些关键问题。多年来，我们一直致力于AI技术与SE技术的融合，本次报告我将讲述我们在AI for SE 和 SE for AI这两个方向所做的一些探索与尝试。在 AI for SE 中，我将介绍我们在软件故障分析方面的研究，这些研究显示了人工智能相对于人类智能的明显优势，从而可以提高一些软件工程活动的有效性和效率。在 SE for AI 中，我将介绍我们对一些典型AI系统的测试和验证方法，这些方法揭示了当前AI软件的不足和局限性。这些探索与尝试让我们更客观地了解人工智能技术的优缺点，我们希望人类能够正确地利用人工智能的力量，在软件开发中取得更好的效率和效果。

个人简介：

谢晓园，武汉大学教授、博导，武汉大学珞珈青年学者，武汉大学特色化示范性软件学院副院长，外国优秀青年学者研究基金获得者。主要研究方向为蜕变测试、软件缺陷定位、智能软件工程等。主持了两项国家自然科学基金面上项目，参与多项国家自然基金重点项目、国家重点研发项目等。提出了国际上首个基于蜕变测试的智能软件测试方法，解决了此类软件不可测试的问题，曾被软工顶刊 IEEE TSE 评为全球蜕变测试领域十大代表性研究者之一；在频谱缺陷定位方面建立了首个理论分析模型，彻底解决了该领域的最优公式设计难题。在软件工程顶级或知名期刊会议上录用论文50余篇。曾获NASAC青年软件创新奖、ACM SigEvo HUMIES银奖、ACM SigSoft Distinguished Paper Award、湖北省科技进步一等奖、QSIC最佳论文奖。