指針編程題的標(biāo)準(zhǔn)化及其自動(dòng)評(píng)分方法的研究.pdf

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

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

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