基于切片的程序評測研究.pdf

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

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

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

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