申博官网,申博娱乐登录

学校首页|收藏本站|登录

学术沙龙通知(编号:2015-01)

发布者:系统管理员申博官网:2015-01-10浏览次数:636

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

报告人:董震  博士

单位:德国海德堡大学

报告时间:2015年1月15日(周四)上午9:00-11:00

报告地点:逸夫楼408

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

报告包括配置问题自动探测研究的以下几个方面:
1. 配置问题简介以及分类;
2. 配置问题自动探测的研究现状;
3. 用静态程序分析的方法探索配置问题的探测(博士生课题)
4. 畅想自动探测配置问题的方法

 

申博官网

 

XML 地图 | Sitemap 地图