2022年6月10日学术报告——张健

报告题目：软件分析与测试

报告人：张健

报告人单位：中国科学院软件研究所

时间：2022年6月10日（周五） 10:00 - 11:00

地点：腾讯会议线上报告（ID：290-161-910）

主办单位：bd手机版官网登录ios 、半岛app应用 、半岛电子官网

报告内容：

随着软件的广泛应用，人们对软件系统的质量要求越来越高。分析与测试是保障软件质量的重要手段。本报告将介绍该方向的一些基本概念和方法，以及我们在程序静态分析（包括符号执行、编程规则检查）和测试数据生成方面的一些研究工作；探讨研究中的一些问题。也将提及我们实现的原型工具及其应用。

报告人简介：

张健，中国科学院软件研究所研究员。主要研究兴趣包括：软件测试与分析、自动推理、约束求解。曾先后获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴、CCF自然科学一等奖等荣誉。指导的多名研究生曾获得中国科学院院长奖、中国计算机学会优秀博士论文提名奖等奖项。目前担任《计算机学报》《中国科学：信息科学》《J. of Computer Sci. and Tech.》《Frontiers of Computer Science》《IEEE Trans. on Reliability》《计算机科学与探索》等编委。