讲座主题：软件测试与分析
专家姓名：张健
工作单位：中国科学院软件研究所
讲座时间：2023年7月7日 15:00-16:00
讲座地点：计算机与控制工程学院6205
主办单位：tyc1286太阳集团计算机与控制工程学院
内容摘要：
软件测试与分析是保障软件质量的重要手段。本报告将介绍我们在软件测试自动化以及程序静态分析方面的一些工作，特别是基于符号执行、约束求解的技术，也包括组合测试等黑盒方法，以及我们在一些重要软件中找到的缺陷。
主讲人介绍：
张健，中国科学院软件所研究员。主要研究兴趣包括：自动推理、约束求解、软件测试与分析。曾任国家自然科学基金委员会“可信软件基础研究”重大研究计划学术指导专家组成员。曾获得国家杰出青年科学基金、中创软件人才奖、国务院政府特殊津贴、中国计算机学会自然科学一等奖等荣誉。目前担任《计算机学报》，Journal of Computer Science and Technology, Frontiers of Computer Science, IEEE Transactions on Reliability,《计算机科学与探索》编委。
