2015年1月15日上午9：00，應(yīng)老人福祉科技實(shí)驗(yàn)室主任安寧教授的邀請(qǐng)，德國(guó)海德堡大學(xué)董震博士生作了題為“用靜態(tài)程序分析自動(dòng)探測(cè)軟件中的配置問(wèn)題”的報(bào)告。報(bào)告會(huì)在逸夫樓408會(huì)議室舉行，報(bào)告會(huì)由計(jì)算機(jī)軟件與理論研究所所長(zhǎng)邵堃副教授主持。
報(bào)告簡(jiǎn)介：軟件中的配置錯(cuò)誤是系統(tǒng)異常的主要原因之一。調(diào)查表明客戶報(bào)告的1/4問(wèn)題都是配置問(wèn)題。探測(cè)軟件中的配置問(wèn)題耗時(shí)費(fèi)力，占據(jù)軟件維護(hù)成本的17%。研究如何自動(dòng)地探測(cè)軟件中的配置問(wèn)題是一個(gè)重要課題。
報(bào)告包括配置問(wèn)題自動(dòng)探測(cè)研究的以下幾個(gè)方面：
1. 配置問(wèn)題簡(jiǎn)介以及分類；
2. 配置問(wèn)題自動(dòng)探測(cè)的研究現(xiàn)狀；
3. 用靜態(tài)程序分析的方法探索配置問(wèn)題的探測(cè)（博士生課題）
4. 暢想自動(dòng)探測(cè)配置問(wèn)題的方法
太陽(yáng)集團(tuán)tyc5997
TOP
