香港马开奖免费资料

公共目录

您目前的位置: 香港马开奖免费资料» 公共目录» 学术活动

学术报告: 程序分析、验证与测试

      题: 程序分析、验证与测试

    人: 张健  研究员(中国科学院软件研究所)

      间: 2019年10月25日 14:00

      : 信息工程学院二层大会议室

位: 香港马开奖免费资料

主讲学者简介:

张。泄蒲г喝砑研究所研究员。主要研究兴趣包括:自动推理、约束求解、软件测试与分析、形式化方法等。在一阶逻辑公式可满足性判定、软件测试数据自动生成、基于符号执行的程序分析等方面取得了一系列重要成果。曾获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。目前担任《中国科学:信息科学》,《计算机学报》,JCST, Frontiers of CS, IEEE Trans. on Reliability,《计算机科学与探索》编委。

内容介绍:

本报告将首先简单介绍一些软件缺陷和漏洞,然后介绍提高软件质量的手段以及相关的软件开发标准。最后报告我们在程序分析和测试方面的若干研究内容及成果。

欢迎感兴趣的老师和同学前来参加!

香港马开奖免费资料-香港最快报马开奖结果-开奖结果香港马看开奖
Baidu
sogou