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

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

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