程序分析評(píng)價(jià)技術(shù)的研究與應(yīng)用.pdf

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

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

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