基于XML的程序设计自动批改的研究-计算机应用技术专业论文.docxVIP

摘要随着计算机技术特别是网络技术的迅速发展及其在教育领域 摘要 随着计算机技术特别是网络技术的迅速发展及其在教育领域 中的广泛应用，CAI(Computer Assisted Instruction)和e．Learning得 到了飞速的发展，促进了无纸化测评技术的研究。采用无纸化测 评系统对学习对象的学业水平进行科学公正的测评，一直是高等 教育推进教学改革的难点和重点之一。本文对基于局域网的无 纸化测评系统中程序设计的自动批改问题进行了研究和论述， 在智能化教学的理论与实践方面作了有益的尝试。 本文对程序设计自动批改问题进行了剖析，借鉴了程序正确 性验证领域的已有成果，提出了分级别、加权进行程序设计自 动批改的思想，分别从程序结果、词法和语法分析、功能模块、 变量变化曲线和人工检查五个级别对程序的正确程度进行了描 述，并着重探讨了词法分析、功能模块匹配和变量变化曲线匹配 的算法及实现。为了实现系统的可扩展性和可重用性，考虑到 XML的扩展性和可标记性，本文采用了标准的中间语言XML 对源程序进行描述。使用基于DOM的XML解析器MSXML，得 到XML文档的树状结构图，进行了功能模块匹配。同时采用变 量的变化曲线来反映数据流的变化，提出了变量的变化曲线 验证方法。从而实现了无纸化测评系统中程序设计的自动批 改。 主题词：CAI，e-Lea础ng，无纸化测评，程序正确性，自动批改， XML，变量变化曲线 AbstractWim Abstract Wim the rapid development of computer technology,especially the development of network technology,and its extensive application in the field of education，CAI(Computer Assisted Instruction)and e-Learning have gained great progress and promoted the research of technology in paperless test and evaluate system．It always be difficult and important to push forward the reform in higher education by using papefless system to test and evaluate the students’specialty level rightly．In this paper,we researched and expatiated on the problem of program auto—checking in paperless test and evaluate system based on LAN，and made the useful experiments in the application and theory about the individual and intellectualized teaching． We analyze the problem of program auto-checking and use the productions in program correctness for reference．We also put forward the thought that proceeding auto-checking by level and weighting， and describes five levels of correctness which as follows：results， lexical analysis and syntax parsing，modules，variable’S changing curves(VCC for short)and checking by manual．Further more，it focuses on the arithmetic and implement for lexicai analysis，modules matching and VCC matching．For the extensibility and reusability,we use standard mid-language XML to describe the source．We use MSXML parser based on DOM to obtain XML document tree style ch