基于切片的程序評(píng)測(cè)研究.pdf

1、隨著大型的社會(huì)化考試、網(wǎng)絡(luò)教育中教學(xué)評(píng)價(jià)活動(dòng)的開(kāi)展，對(duì)CAA（ComputerAssistedAssessment，計(jì)算機(jī)輔助評(píng)價(jià)）的需求日益擴(kuò)大，傳統(tǒng)的教育評(píng)價(jià)方法和測(cè)試手段已不能滿足教育發(fā)展的需要。本文提出一種對(duì)程序進(jìn)行自動(dòng)評(píng)測(cè)的方法，應(yīng)用于程序評(píng)測(cè)系統(tǒng)，在教學(xué)活動(dòng)中起到有效的輔助評(píng)價(jià)作用。 程序切片是一種分解程序的重要工具，在軟件分析和理解等領(lǐng)域有廣泛的應(yīng)用。本文在程序評(píng)測(cè)中引入使用程序切片技術(shù)，提出一種更合理的程序評(píng)測(cè)方

2、法并實(shí)現(xiàn)輔助評(píng)測(cè)的功能，解決在程序理解、程序復(fù)雜性度量、程序轉(zhuǎn)換和評(píng)測(cè)中遇到的問(wèn)題。程序切片技術(shù)對(duì)大規(guī)模程序更能體現(xiàn)出它的作用，因?yàn)橥ㄟ^(guò)切片運(yùn)算可以達(dá)到分解程序的目的，從而降低程序的復(fù)雜度，便于進(jìn)一步的分析。面向?qū)ο笳Z(yǔ)言已成為計(jì)算機(jī)專(zhuān)業(yè)的必修課，而Java語(yǔ)言是一種真正意義上的面向?qū)ο笳Z(yǔ)言，也是一種潮流的程序開(kāi)發(fā)語(yǔ)言，因此本課題以Java為研究對(duì)象。 在程序的自動(dòng)評(píng)測(cè)中，通過(guò)構(gòu)建程序解析器生成抽象語(yǔ)法樹(shù)，在抽象語(yǔ)法樹(shù)的基礎(chǔ)上進(jìn)行

3、結(jié)構(gòu)分析和標(biāo)準(zhǔn)化處理以解決相同功能有多種代碼實(shí)現(xiàn)的問(wèn)題。結(jié)構(gòu)分析引入基于程序切片的度量方法，并生成用于分析程序的各種圖形表示。標(biāo)準(zhǔn)化包括賦值標(biāo)準(zhǔn)化、表達(dá)式標(biāo)準(zhǔn)化和控制結(jié)構(gòu)標(biāo)準(zhǔn)化，并運(yùn)用程序切片技術(shù)解決冗余變量和語(yǔ)句順序的問(wèn)題。標(biāo)準(zhǔn)化處理后生成新的抽象語(yǔ)法樹(shù)以及相應(yīng)的程序依賴圖，最后運(yùn)用切片算法對(duì)程序進(jìn)行劃分處理并生成各相應(yīng)的子依賴圖作為比較的依據(jù)。比較方法采用基于源碼的方案，將學(xué)生程序與模板程序集依次進(jìn)行語(yǔ)義上的比較，然后根據(jù)基于相似度

4、概念的評(píng)分標(biāo)準(zhǔn)得出對(duì)學(xué)生程序完成程度和質(zhì)量的評(píng)測(cè)結(jié)果，給出錯(cuò)誤語(yǔ)句及其對(duì)應(yīng)切片數(shù)據(jù)（包含代碼段和依賴圖），依據(jù)模板程序給予修改意見(jiàn)。 在程序評(píng)測(cè)方面，引入程序切片技術(shù)，通過(guò)分解程序從而降低大規(guī)模程序在評(píng)測(cè)中的復(fù)雜度，使程序評(píng)測(cè)更具合理性，在出錯(cuò)處理上也起到更好的輔助作用。本課題的研究對(duì)象是數(shù)據(jù)結(jié)構(gòu)的作業(yè)程序，這類(lèi)程序具有規(guī)模小、復(fù)雜度低的特點(diǎn)，對(duì)于規(guī)模更大、復(fù)雜度更高的程序或軟件，基于程序切片技術(shù)的評(píng)測(cè)或分析，將更能體現(xiàn)它的價(jià)值