学术报告
——计算机学院第46期
题目：智能软件系统的数据驱动测试
报告人：陈振宇 教授 博导 南京大学软件学院
时间：2020年12月17日（星期四） 16:00
地点：学院101会议室
学术报告简介:
智能软件系统具有广泛的应用前景，但其质量保障成为重要挑战。智能软件系统是非确定性智能模型嵌入确定性业务流程的复杂软件系统。智能模型通常以海量数据驱动方式构建，并呈现出大规模非线性变换数值计算特性；模型嵌入系统，运行于各类复杂软硬件平台和非确定性开放环境，适应多样化业务场景且目标任务难以精确表达，给质量保障带来诸多新挑战。基于智能软件系统新特性，本报告从数据和模型的内外视角出发，分享以下四项研究内容：（1）数据分布多样性驱动测试；（2）数据语义一致性驱动测试；（3）数据边界稳定性驱动测试；（4）数据精度适应性驱动测试。本报告针对智能软件系统质量保障前沿挑战，探索非确定性和确定性相结合的缺陷触发与传播机理，构建系统性的数据驱动测试方法和技术。
报告人简介:
陈振宇，南京大学软件学院教授、博导，主要从事智能软件工程的研究。慕测科技创始人、IEEE国际软件测试大赛发起人，江苏省计算机学会产业工委执行主任，苏宁易购独立董事。慕测是ASE和ISSTA顶会的赞助商，个人担任ICSE、FSE、ASE各类顶会的程序委员会委员，IEEE Transactions on Reliability 期刊Associate Editor，JSS、SPE、SQJ等期刊Guest Editor。曾主持发明专利转让项目2项、发明专利许可项目1项、海关总署金关工程二期项目1项、国家重点研发计划课题1项和国家自然科学基金（重点项目、面上项目、国际交流项目）8项，参与973计划、国家自然科学基金重大研究计划、重大国际合作项目若干项。陈振宇开创了MoocTest，并在AITest和BigCode取得了重要研究成果，部分成果已经在百度、阿里、华为等知名软件公司转化，研究成果获2012年度江苏省科学技术奖一等奖、2015年湖北省科技进步奖一等奖、2017年CCF NASAC-东软青年软件创新奖和2018年国家教学成果奖二等奖。