指针编程题的标准化及其自动评分方法的研究

《指针编程题的标准化及其自动评分方法的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、哈尔滨工业大学工学硕士学位论文AbstractAutomaticgradingofprogramsinprogramminglanguageexaminationisa verysignificantproblemworththoroughresearch.Asakeytechniqueintheon- lineexaminationsystem,itisatechnicalnodusbecauseofrelatingto omnifarioustheoriesandknowledge.Therearefewsystemswithgood practicabilityandall-roundf

2、unctionsatpresentinthefield.Theexistentautomaticgradingsystembasedonprogramunderstandingand semanticanalysisadoptedamethodbasedonstaticanalysisofthewholesource codesandsemanticallyequivalenttransformations.Firstly,studentprogramand templateprogramsaretransformedintosystemdependencegraphs.Secondly, s

3、emantic-preservingtransformationsareperformedonsystemdependencegraphs toeliminateprogramvariations.Finally,thescoreisgottenbymatchingthe standardizedsystemdependencegraphofstudentprogramwiththoseoftemplate programsandcomputingtheirsimilarityaccordingtothegradingstrategies. Existentautomaticgradingmo

4、delcan’tbeappliedtoprogramswithpointers. Inthisdissertation,asuitablemethodtostandardizeandgradetheprogramswith pointersbasedontheexistentmodelisproposed.Theoriginalmodelisimproved inthefollowingaspects:reinforcingthemorphologyandsyntaxanalysisfor sourcecodestorecognizetheexpressionsrelatedwithpoint

5、er;improving originalsystemdependencegraphbyunifyingtheabstractsyntaxtreeofpointers andelementsinarrays;improvingtheoriginalalgorithmfordata-flowanalysisto searchthedatadependenceinducedbypointers’alias;proposinganadvanced representationsofaliasinformationtoreplacetheexistingcomplicated,obscure, and

6、imprecisealiasrepresentationapproaches;presentinganflow-sensitiveand context-sensitiveinterproceduralmethodofanalyzingpointeraliastoescaped fromimpreciseoneswithcomplicatedcomputation,whichdealwithacalling noderespectivelybyinlineorimprovedBanningmethodaccordingtowhether it’siterativeornot;improving

7、thestandardizationprocessbyaddingnewrulesto eliminatevariationsoccurredinexpressionswithpointers,andreplacingthe pointersthathavemustalias;improvingthematchingalgorithmandsoon. Theimprovedmodelhasbeen