撰稿人：张晓晗 审稿人：罗兰苑 罗盼
2021年9月23日早上九点，计算机学院于计算机学院学术报告厅举办勷勤论坛分论坛——程序分析与测试中的智能技术。论坛由现任华南师范大学计算机学院院长、兼任工学部副部长和人工智能学院院长蒋运承主持。
图表 1会场座无虚席
报告人张健，中国科学院软件研究所研究员，目前担任《中国科学：信息科学》、《计算机学报》、Journal of Computer Science and Technology、Frontiers of Computer Science、IEEE Transactions on Reliability、《计算机科学与探索》编委。
图表 2北京会场 广州会场 佛山会场合照
论坛以专家线上听众线下的形式举行。
图表 3 蒋院在主持会议并与专家连线
张健专家对现有的软件测试的研究工作作了深入的分析，他在报告中指出，随着信息化社会的迅速发展以及软件的广泛应用，软件的质量和可信性得到人们越来越多的关注。分析与测试是保障软件质量的重要手段。并通过介绍其在程序静态分析（包括符号执行、编程规则检查）和测试数据生成方面的一些研究工作，以及其中用到的一些智能技术（包括自动推理、约束求解、规则挖掘），增进了参会同学对软件测试的理解。
图表 4 蒋院带领同学们聆听学术报告
图表 5同学们认真聆听讲座
在专家报告结束后，华南师范大学会场的蒋院长与佛山南海校区的陈老师向专家就人工智能和自动驾驶如何测试以及代码漏洞的查找等方面与专家进行了答疑解惑。
图表 6蒋院长代表大家向专家提出疑问交流