基于增量式技術(shù)的程序靜態(tài)分析器的研究.pdf

1、軟件維護(hù)是軟件投入使用后，對軟件進(jìn)行適應(yīng)性、修正性、完善性、預(yù)防性維護(hù)的階段，是整個生命周期中最漫長，時間成本最高的階段。據(jù)報(bào)告，在整個軟件維護(hù)過程中，程序理解的時間開銷占了47％-62％。因此，提高程序理解的效率有利于控制軟件維護(hù)成本，具有重大的現(xiàn)實(shí)意義。 利用輔助工具進(jìn)行程序理解，是提高程序理解效率，降低軟件維護(hù)成本的關(guān)鍵一步。但是，由于程序理解任務(wù)的差異性，目標(biāo)系統(tǒng)的差異性以及運(yùn)行平臺的差異性等，諸多工具只針對某些具體任務(wù)

2、進(jìn)行理解或者只能在某個平臺上運(yùn)行。為了提高程序理解工具的適應(yīng)性、跨平臺性，本文對程序靜態(tài)分析器進(jìn)行了研究，主要工作如下： (1)新的概念模型構(gòu)造。根據(jù)C/C++源程序文件的特點(diǎn)，描述了實(shí)體、屬性以及實(shí)體關(guān)系的含義，并以此為基礎(chǔ)構(gòu)造了程序分析器的概念模型，確定了信息抽取的范圍。 (2)信息抽取與錯誤處理研究。研究了Lcx和Yacc的詞法分析和錯誤處理機(jī)制，提出了分析器的一種信息抽取與錯誤恢復(fù)機(jī)制，較好地解決了信息抽取方式以