| 第一章 绪论 | 第1-18页 |
| ·CAI 与数字化学习 | 第6-11页 |
| ·基于局域网的无纸化测评技术 | 第11-14页 |
| ·本文的研究目的、主要成果及意义 | 第14-16页 |
| ·本文的结构 | 第16-18页 |
| 第二章 程序设计自动批改及相关领域的研究概况 | 第18-27页 |
| ·程序设计自动批改与程序正确性验证 | 第18-19页 |
| ·程序正确性验证的研究概况 | 第19-27页 |
| 第三章 程序设计自动批改系统的实现思想及关键问题 | 第27-32页 |
| ·程序设计自动批改系统实现思想 | 第27-28页 |
| ·关键问题描述 | 第28-32页 |
| 第四章 程序语句结构的 XML SCHEMA 定义(C 语言) | 第32-52页 |
| ·XML简述 | 第32-38页 |
| ·C语言结构的XML SCHEMA 定义 | 第38-44页 |
| ·C语言到XML 文档的转换 | 第44-52页 |
| 第五章 基于XML的程序设计自动批改系统实现方案 | 第52-66页 |
| ·基于XML的程序设计自动批改系统的实现流程 | 第52-53页 |
| ·词法和语法分析 | 第53-57页 |
| ·结构模块匹配的实现 | 第57-61页 |
| ·变量变化曲线匹配的实现 | 第61-66页 |
| 第六章 实验系统及结果分析 | 第66-80页 |
| ·问题描述和限制 | 第66-67页 |
| ·实例验证及其结果分析 | 第67-80页 |
| 第七章 总结与展望 | 第80-82页 |
| 附录 部分C 程序结构的 XML SCHEMA 定义 | 第82-87页 |
| 参考文献 | 第87-90页 |
| 攻读硕士学位期间已公开发表的论文 | 第90-91页 |
| 致谢 | 第91-92页 |
| 提要 | 第92-104页 |