指針編程題的標準化及其自動評分方法的研究.pdf

1、程序設計語言考試中的自動化試卷評分技術是一項非常有意義的研究課題，是在線考試系統(tǒng)的關鍵技術，因其涉及多方面的理論知識而成為技術難點，目前在該領域內(nèi)，實用性好而且功能健全的系統(tǒng)很少。在基于程序理解和語義分析的編程題自動評分模型中，用對完整源程序的靜態(tài)分析和語義等價的轉(zhuǎn)換的方法，將學生程序和作為標準答案的模板程序轉(zhuǎn)化為系統(tǒng)依賴圖，通過標準化處理，消除程序中語義等價的表達式的形式多樣化，計算它們的語義相似度，應用評分策略給出學生程序的得分。已

2、有的編程題自動評分模型不能對含有指針的學生程序進行自動評分。本文在原有的編程題自動評分模型的基礎上，對指針編程題的標準化和自動評分方法進行研究，并在以下幾個方面完善原有模型：在詞法、語法分析中加入了對指針及相關語法的識別功能；改進了原有的系統(tǒng)依賴圖，將指針變量和數(shù)組元素用統(tǒng)一的抽象語法樹來表示；改進了原模型中的數(shù)據(jù)流分析算法，充分挖掘指針別名引起的隱含的數(shù)據(jù)依賴關系；針對目前的指針別名信息表示方法或過于復雜、或存在冗余、或不直觀、或不精

3、確的問題，提出了改進的別名信息表示方法；針對目前的指針別名分析算法相對復雜且精度有限的問題，提出了流敏感和上下文敏感的過程間指針別名分析算法，對Banning算法進行改進，結合函數(shù)內(nèi)聯(lián)的策略，揚長避短地分別處理遞歸的過程調(diào)用和非遞歸的過程調(diào)用；在程序的系統(tǒng)依賴圖的標準化處理中，加入了兩個階段：必然別名替換和指針表達式的標準化，最大程度地消除指針程序中的代碼多樣化；通過對原模型中的匹配和評分策略的研究，根據(jù)指針程序的特點作了改進。完善后的