程序分析評價技術的研究與應用.pdf

1、程序分析評價技術在程序測試、程序維護以及信息領域的軟件版權侵權等方面中都有著廣泛的應用前景。但是目前的程序分析評價技術主要停留在比較程序輸出結果的階段，并不能發(fā)現(xiàn)那些在語義上有問題的程序的錯誤?，F(xiàn)有的相關技術，例如程序理解技術大多是以人工的方式對程序進行分析，并且理解過程十分復雜，很容易出現(xiàn)信息丟失，前后不一致的情況，從而造成分析的困難。本課題正是針對此問題進行研究。
　　 本課題結合編譯器設計的相關技術和軟件度量技術，采用源碼

2、-源碼模板匹配方法，在結構層次上和語義層次上對程序進行分析評價，并且分析了程序分析評價技術在一些領域的應用前景。課題設計的具體過程是：使用ANTLR構造語言分析器，通過加入語義動作，結合SSA技術，獲得表示程序結構的擴展控制流圖，并應用傳統(tǒng)軟件度量方法對程序的結構進行分析度量。在語義層次上，使用編譯器內聯(lián)擴展等技術，進行語義保留的等價轉換，并把SSA技術和PDG結合在一起生成程序表示圖的表示形式，然后把程序表示圖的各個節(jié)點劃分到一個個可

3、以比較的范圍內，采用數據流一致和控制流一致的分析技術，分析出程序差異，確定差異的類型，并定位程序的錯誤位置；最后為了更加精確地確定程序的語義錯誤位置，提出語義錯誤度量規(guī)則，對程序中出現(xiàn)的語義錯誤進行度量，并給出語義錯誤的度量信息。
　　 最后，本課題分別在程序結構層次上和語義層次上進行了實驗分析，驗證了本文所提出的分析方法能在結構層次上發(fā)現(xiàn)程序中潛在的錯誤，以及在語義層次上可以更加可靠地分析程序中存在的語義錯誤，并按照語義錯誤度