結(jié)合動(dòng)態(tài)測(cè)試與靜態(tài)分析的編程題自動(dòng)評(píng)分方法研究.pdf

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

2、評(píng)分模型評(píng)分的準(zhǔn)確性和正確性高度依賴于模板庫(kù)中題目模板程序集的完備性，而做到模板程序集的完備性十分困難。本文在原有的編程題自動(dòng)評(píng)分模型的基礎(chǔ)上，引入動(dòng)態(tài)測(cè)試評(píng)分方法，將兩者有效結(jié)合到一起，提出了結(jié)合靜態(tài)分析和動(dòng)態(tài)測(cè)試評(píng)分方法的編程題自動(dòng)評(píng)分模型以完善原有的評(píng)分模型。
　　本文對(duì)ACMOnlineJudge動(dòng)態(tài)測(cè)試評(píng)分方法的核心進(jìn)行改進(jìn)，去除多余的限制，改變其評(píng)分策略，使其能夠合理地與靜態(tài)分析評(píng)分方法進(jìn)行結(jié)合，并且更適合于普通學(xué)生上

3、機(jī)考試；將基于靜態(tài)分析和基于動(dòng)態(tài)測(cè)試兩種不同的編程題評(píng)分方法有效的結(jié)合，基于新的評(píng)分策略，提出了結(jié)合靜態(tài)分析和動(dòng)態(tài)測(cè)的編程題自動(dòng)評(píng)分模型；利用改進(jìn)的基于語(yǔ)義相似度的評(píng)分方法和動(dòng)態(tài)測(cè)試評(píng)分方法的結(jié)合，提出避免冗余的模板提取方法，從學(xué)生提交的程序中為靜態(tài)分析評(píng)分提取新模板程序；基于改進(jìn)模型重新設(shè)計(jì)和實(shí)現(xiàn)了“C語(yǔ)言考試系統(tǒng)”，并對(duì)其進(jìn)行了測(cè)試和實(shí)際應(yīng)用的驗(yàn)證。
　　基于完善后的編程題自動(dòng)評(píng)分模型的“C語(yǔ)言考試系統(tǒng)”已經(jīng)在哈爾濱工業(yè)大學(xué)2