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