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

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

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

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

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