沙龙主题: 用静态程序分析自动探测软件中的配置问题

报告人：董震 博士

单位：德国海德堡大学

报告时间：2015年1月15日（周四）上午9:00-11:00

报告地点：逸夫楼408

简介: 软件中的配置错误是系统异常的主要原因之一。调查表明客户报告的1/4问题都是配置问题。探测软件中的配置问题耗时费力，占据软件维护成本的17%。研究如何自动地探测软件中的配置问题是一个重要课题。

报告包括配置问题自动探测研究的以下几个方面:

1. 配置问题简介以及分类；

2. 配置问题自动探测的研究现状；

3. 用静态程序分析的方法探索配置问题的探测（博士生课题）

4. 畅想自动探测配置问题的方法

太阳集团tyc5997