2021年9月23日上午，中国科学院软件研究所张健研究员（中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴获得者）面向必赢官网（广州）和人工智能学院（佛山）的学生进行了一场线上学术交流，以“程序分析与测试中的智能技术”为主题开展学术报告。本次报告会由必赢242net官网、人工智能学院院长蒋运承教授主持，开启了疫情时代学术交流不阻碍的新尝试（线上线下混合模式，线下有石牌校区必赢242net官网和南海校区人工智能学院两个会场），本场报告也是我校勷勤论坛分论坛活动之一。
张健研究员对现有的软件测试的研究工作做了深入的分析，他在报告中指出，随着信息化社会的迅速发展以及软件的广泛应用，软件的质量和可信性得到人们越来越多的关注。本报告针对智能软件系统质量保障前沿挑战，探索非确定性和确定性相结合的缺陷触发与传播机理，构建系统性的数据驱动测试方法和技术。他特别介绍了在程序静态分析（包括符号执行、编程规则检查）和测试数据生成方面的一些研究工作，以及其中用到的一些智能技术（包括自动推理、约束求解、规则挖掘等）。报告后安排了自由提问环节，针对同学们的疑问，张老师也一一耐心回答，让与会同学们对软件测试有了更深的理解。
