12月12日下午，北京科技大学“计算机与通信前沿技术名家讲坛”第十七讲邀请到中科院软件研究所张健博士在镭目报告厅为同学们带来题为“软件数据生成和程序静态分析”的精彩报告。
讲座开始，主持人向大家介绍了张健博士：中科院软件研究所所长助理，国家杰出青年基金获得者，中科院软件研究所博士生导师……听着对自己的介绍，张健老师露出腼腆的神色，说：“我并不是什么名家”。他谦虚平静的风范展现出一位学术研究者的气场。
在博士的讲座中，他首先向听众们强调了以学术创新为评价标准的重要性，包括论文、源头的创新、工具等等。在随后的主体报告中，他用丰富详实的案例向我们讲述了软件质量及其信度的重要性和由此引发的测试需求，以及他们在此方面的尝试案例、经验。包括：约束求解和自动推理、静态分析和错误查找、测试用例生成、白盒测试、黑盒测试、科研项目和安全攸关软件可信度保障的研究等具体角度。张健博士深入浅出的讲解使听众听得十分入神，忘记了时间。
最后，讲座来到了提问环节。一位同学提问对于软件测试和开发将结合的说法老师有何看法，老师思考了片刻，选择了平易的语言回答道：相当一段时期内应当还是独立测试的，但是这种说法是未来15年的理想方向。对另一位研究生同学研究生学习的方法的问题，老师和蔼地结合当年自己的学习经历给出了自己的见解，包括自己思考、多去查阅资料、尝试与大师通信等等。
在赠送张老师礼物后，计算机与通信前沿技术名家讲坛名家讲坛第十七讲在轻松的气氛里落下了帷幕。
（责编：孟涛）
