沙龍主題: 用靜態(tài)程序分析自動探測軟件中的配置問題
報告人：董震 博士
單位：德國海德堡大學(xué)
報告時間：2015年1月15日（周四）上午9:00-11:00
報告地點：逸夫樓408
簡介: 軟件中的配置錯誤是系統(tǒng)異常的主要原因之一。調(diào)查表明客戶報告的1/4問題都是配置問題。探測軟件中的配置問題耗時費力，占據(jù)軟件維護成本的17%。研究如何自動地探測軟件中的配置問題是一個重要課題。
報告包括配置問題自動探測研究的以下幾個方面:
1. 配置問題簡介以及分類；
2. 配置問題自動探測的研究現(xiàn)狀；
3. 用靜態(tài)程序分析的方法探索配置問題的探測（博士生課題）
4. 暢想自動探測配置問題的方法
太陽集團tyc5997
TOP
