本网讯（李薛剑 新闻中心通讯员、李嘉树）3月17日上午，国家杰出青年科学基金获得者、中国科学院软件研究所研究员张健应邀在磬苑校区理工D楼318室作题为“软件测试与程序分析”的学术报告。报告会由计算机科学与技术学院常务副院长仲红主持，学院部分师生参加了报告会。
中科院软件研究所研究员张健正在作学术报告
软件的正确性、可靠性、安全性是学术界、工业界长期关注的重要问题，软件测试是保障软件质量的传统手段，程序静态分析是近年来日益受到重视的技术。张健介绍了所在研究团队在这方面的一些研究内容及成果，包括如何通过设计一组好的测试用例给出合适的输入数据，如何通过扫描、分析源程序或中间代码发现软件中的问题等。
报告会上，张健还与现场师生就软件测试与程序分析进行了讨论，提出了各自的见解。
张健，中国科学院软件研究所研究员、博士生导师。曾先后获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。主要研究兴趣包括：自动推理和约束求解算法、程序静态分析和软件测试技术。
