古天乐太阳娱乐集团tyc493-中国能源有限公司

古天乐太阳娱乐集团tyc493-中国能源有限公司

古天乐太阳娱乐集团tyc493-中国能源有限公司

学术报告:面向应用的软件静态分析技术

发布时间:2024-01-11     浏览量:

报告题目:面向应用的软件静态分析技术

报告时间:202411214:30

报告地点:计算机学院B404会议室

报告人:严俊

报告人单位:中国科学院软件研究所

报告人简介:严俊,博士,中国科学院特聘研究员,中国科学院软件研究所研究员、博士生导师,中国科学院大学岗位教授。长期从事程序分析、软件测试方面的研究,在软件工程领域知名的期刊和会议发表多篇论文。主导开发的工具发现了多个知名商业软件和开源软件中的缺陷,并得到了开发者的确认。参与起草了国家标准GB/T 38639-2020“系统与软件工程 软件组合测试方法”。严俊的博士学位论文获得了2009年度CCF优秀博士论文提名奖,并于2021年获得CCF科学技术奖自然科学一等奖(高精度智能化的软件分析与测试方法,排名第三)。在中国科学院大学开设本科与研究生的软件分析方向的专业课程,曾获得北京市教委 “优质本科教案”,中国科学院大学领雁银奖,校级优秀本科课程荣誉。

报告摘要程序静态分析是软件工程中的基础性技术,能够在不运行程序的前提下分析程序的性质及可能的缺陷。但静态分析技术在处理大规模软件时会有精度和效率方面的问题。本次报告中,我们将分享课题组以静态分析技术为基础,对C++软件包和安卓应用软件开展针对性的缺陷检测的研究工作及经验。

邀请人:玄跻峰、谢晓园