刘烨庞-当软件测试遇上AI算法

当软件测试遇上AI算法刘烨庞 | 南方科技大学演讲嘉宾刘烨庞南方科技大学计算机科学与工程系长聘副教授 (博导、研究员)南科大软件质量实验室负责人，斯发基斯可信自主系统研究院可信软件中心负责人。2010年本科毕业于南京大学（校优秀毕业生），2015年博士毕业于香港科技大学，师从软件测试与分析专家IEEEFellow张成志讲席教授。研究方向包括软件测试与分析，智能化软件工程，可信人工智能等，近五年主持国家、省部级以及企业项目14项。在国际期刊与会议上发表论文95篇，获ACMSIGSOFT杰出论文奖三次、杰出软件制品奖一次，被国际同行评为“全球前10最活跃软件工程青年学者”。开发的工具在开源项目（如TensorFlow，PyTorch）中检测到2000余个未知缺陷，多项成果在国内龙头企业部署应用。常年参与国际会议及期刊组织与审稿工作，多次担任领域顶会程序委员会委员，获ACMSIGSOFT杰出审稿人奖和服务奖。更多信息请见个人主页https://yepangliu.github.io/。3目 录CONTENTS1.背景2.智能化软件测试技术介绍3.AI4Testing方向的探索与实践4.总结与展望4背景PART 0156软件是人工智能时代的基础设施深圳2022年上线汽车尾气监管平台，实时监控黑烟车，助推智慧城市建设智能汽车中的动力系统、娱乐系统、驾驶辅助系统等都由软件控制人们日常使用各种App来完成通讯、社交、工作、学习、支付、理财、出行等任务天智一号卫星采用开放系统架构，支持应用软件按需加载，系统功能按需重构软件无处不在软件定义一切7软件质量正变得前所未有的重要•软件事故可能导致严重后果，包括经济损失、数据泄露、人身伤害甚至死亡。2024年7月，CrowdStrike安全软件更新中的漏洞导致全球近850万台Windows设备蓝屏，冲击航空、酒店、医院等众多行业，造成数十亿美元损失。2014年，Heartbleed漏洞被曝光，一个存在于OpenSSL软件中的内存管理错误，导致攻击者窃取云服务器中保存的海量敏感信息。2024年8月，一辆特斯拉Model S在西雅图附近撞死摩托骑手，汽车在事故发生时正处于“完全自动驾驶” 模式，FSD软件未能正确识别道路状况并及时做出反应。8测试是保障软件质量的重要手段•软件测试可以被看作是一个搜索和优化问题•搜索：如何从极大的程序状态空间中找