报告题目：软件测试与程序分析
报 告 人：张健研究员（中国科学院软件研究所国家杰出青年科学基金获得者）
时间：2016年3月17日(星期四)上午9:30
地点：安徽大学磬苑校区理工D楼318室
主办单位：计算机科学与技术学院
欢迎各位老师、同学届时前往！
科学技术处
2016年3月16日
报告人简介：
张健，中国科学院软件研究所研究员、博士生导师。1988年本科毕业于中国科学技术大学，1994年在中国科学院软件研究所获博士学位。曾先后获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。主要研究兴趣包括：自动推理和约束求解算法，程序静态分析和软件测试技术。担任《计算机学报》、《Journal of Computer Science and Technology》、《Frontiers of Computer Science》、《计算机科学与探索》等期刊编委，曾担任ICSE、VSTTE、IJCAR、CADE、SAT、COMPSAC 等60余次重要国际会议程序委员会委员以及国际会议 QRS 2015 程序委员会主席。
报告提要：
软件的正确性、可靠性、安全性是学术界、工业界长期关注的重要问题。软件测试是保障软件质量的传统手段；程序静态分析是近年来日益受到重视的技术。本报告将介绍我们在这方面的一些研究内容及成果，包括：如何设计一组好的测试用例，给出合适的输入数据；如何通过扫描、分析源程序或中间代码，发现软件中的问题。