程序作業(yè)的等價(jià)測(cè)評(píng)技術(shù)的研究.pdf

1、程序的等價(jià)測(cè)評(píng)技術(shù)在當(dāng)今軟件領(lǐng)域有著廣泛的應(yīng)用范圍，在計(jì)算機(jī)學(xué)科基礎(chǔ)教育領(lǐng)域中，如程序作業(yè)的測(cè)評(píng)、程序設(shè)計(jì)的在線考試、代碼抄襲判定等。國(guó)內(nèi)外比較常見(jiàn)的有基于程序?qū)傩?、基于抽象語(yǔ)法樹(shù)的方法來(lái)對(duì)程序進(jìn)行等價(jià)評(píng)判，但兩種測(cè)評(píng)方法都有其不足之處，固定的使用一種方法來(lái)對(duì)風(fēng)格迥異的程序作業(yè)進(jìn)行測(cè)評(píng)時(shí)，取得的效果往往并不理想。
　　 本文介紹了程序?qū)傩岳碚撝R(shí)，重點(diǎn)研究了基于抽象語(yǔ)法樹(shù)和基于程序依賴(lài)圖的程序度量技術(shù)，對(duì)其優(yōu)缺點(diǎn)進(jìn)行了分析，歸納

2、了程序作業(yè)的特點(diǎn)，在此基礎(chǔ)上提出了一種依據(jù)程序?qū)傩宰詣?dòng)選擇適合該程序作業(yè)評(píng)判的模型，并進(jìn)行了數(shù)據(jù)分析，以人工評(píng)判為標(biāo)準(zhǔn)，該模型取得了較好的效果。本文所做的具體工作如下：
　　 首先，對(duì)基于抽象語(yǔ)法樹(shù)的測(cè)評(píng)方法進(jìn)行了改進(jìn)。依靠Antlr平臺(tái)，在掌握抽象語(yǔ)法樹(shù)生成規(guī)則上，編寫(xiě)了生成抽象語(yǔ)法樹(shù)的語(yǔ)法文件，同時(shí)對(duì)C語(yǔ)言的控制語(yǔ)句和表達(dá)式進(jìn)行了標(biāo)準(zhǔn)化，最后產(chǎn)生標(biāo)準(zhǔn)化的抽象語(yǔ)法樹(shù)。在遍歷抽象語(yǔ)法樹(shù)后，對(duì)所生成的代碼序列做了優(yōu)化處理，如提出簡(jiǎn)

3、化碼、存儲(chǔ)優(yōu)化、刪除葉子節(jié)點(diǎn)等，再結(jié)合代碼序列以及Needleman-Wunsch和Smith-Waterman算法特點(diǎn)，綜合運(yùn)用這兩種算法對(duì)代碼序列進(jìn)行匹配程度的計(jì)算，從而得出兩程序的等價(jià)度。
　　 其次，引入基于程序依賴(lài)圖的方法來(lái)對(duì)程序作業(yè)進(jìn)行測(cè)評(píng)。在理解程序依賴(lài)圖的原理基礎(chǔ)上，對(duì)C語(yǔ)言中的關(guān)鍵控制語(yǔ)句做了程序流圖分析，結(jié)合程序作業(yè)特點(diǎn)，重點(diǎn)分析了程序依賴(lài)圖如何解決作業(yè)程序中的冗余代碼、語(yǔ)句次序打亂等問(wèn)題，并給出了基于程序依