基于XML的程序设计自动批改的研究

论文摘要

随着计算机技术特别是网络技术的迅速发展及其在教育领域中的广泛应用,CAI（ComputerAssisted Instruction）和 e-Learning 得到了飞速的发展,促进了无纸化测评技术的研究。采用无纸化测评系统对学习对象的学业水平进行科学公正的测评,一直是高等教育推进教学改革的难点和重点之一。本文对基于局域网的无纸化测评系统中程序设计的自动批改问题进行了研究和论述,在智能化教学的理论与实践方面作了有益的尝试。 本文对程序设计自动批改问题进行了剖析,借鉴了程序正确性验证领域的已有成果,提出了分级别、加权进行程序设计自动批改的思想,分别从程序结果、词法和语法分析、功能模块、变量变化曲线和人工检查五个级别对程序的正确程度进行了描述,并着重探讨了词法分析、功能模块匹配和变量变化曲线匹配的算法及实现。为了实现系统的可扩展性和可重用性,考虑到XML 的扩展性和可标记性,本文采用了标准的中间语言 XML对源程序进行描述。使用基于 DOM 的 XML 解析器 MSXML,得到 XML 文档的树状结构图,进行了功能模块匹配。同时采用变量的变化曲线来反映数据流的变化,提出了变量的变化曲线验证方法。从而实现了无纸化测评系统中程序设计的自动批改。

论文目录

• 第一章 绪论
• 1.1 CAI 与数字化学习
• 1.2 基于局域网的无纸化测评技术
• 1.3 本文的研究目的、主要成果及意义
• 1.4 本文的结构
• 第二章 程序设计自动批改及相关领域的研究概况
• 2.1 程序设计自动批改与程序正确性验证
• 2.2 程序正确性验证的研究概况
• 第三章 程序设计自动批改系统的实现思想及关键问题
• 3.1 程序设计自动批改系统实现思想
• 3.2 关键问题描述
• 第四章 程序语句结构的 XML SCHEMA 定义（C 语言）
• 4.1 XML简述
• 4.2 C语言结构的XML SCHEMA 定义
• 4.3 C语言到XML 文档的转换
• 第五章 基于XML的程序设计自动批改系统实现方案
• 5.1 基于XML的程序设计自动批改系统的实现流程
• 5.2 词法和语法分析
• 5.3 结构模块匹配的实现
• 5.4 变量变化曲线匹配的实现
• 第六章 实验系统及结果分析
• 6.1 问题描述和限制
• 6.2 实例验证及其结果分析
• 第七章 总结与展望
• 附录 部分C 程序结构的 XML SCHEMA 定义
• 参考文献
• 攻读硕士学位期间已公开发表的论文
• 致谢
• 提要