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