程序作业自动测评的研究与实现
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-11页 |
| CONTENTS | 第11-14页 |
| 第一章 绪论 | 第14-25页 |
| ·本文研究背景 | 第14-18页 |
| ·程序测试技术现状 | 第15页 |
| ·程序理解技术现状 | 第15-17页 |
| ·其他相关技术现状 | 第17-18页 |
| ·本文研究点 | 第18-25页 |
| ·基于模板的程序测评 | 第19-20页 |
| ·实验对象 | 第20-21页 |
| ·实验语言 | 第21-24页 |
| ·测评结果 | 第24-25页 |
| 第二章 程序作业测评系统结构 | 第25-37页 |
| ·总体系统结构 | 第25-26页 |
| ·本文基于的编译技术简介 | 第26-31页 |
| ·已有工作基础 | 第26页 |
| ·基于散列技术的符号表简介 | 第26-31页 |
| ·程序测评处理过程 | 第31-37页 |
| ·程序信息提取 | 第32-34页 |
| ·程序结构规范化 | 第34-36页 |
| ·程序结构比较 | 第36-37页 |
| 第三章 等价结构的提出 | 第37-47页 |
| ·程序结构等价性及程序结构分解 | 第37-44页 |
| ·程序结构的对等性 | 第37页 |
| ·程序结构分解及信息提取讨论 | 第37-43页 |
| ·程序结构等价性和异构 | 第43-44页 |
| ·等价性定义的合理性说明及实现辅助 | 第44-47页 |
| 第四章 程序测评数据结构 | 第47-57页 |
| ·对需要提取信息存储方式的讨论 | 第47-51页 |
| ·程序特征结构图 | 第51-52页 |
| ·扩展语法树结构 | 第52-55页 |
| ·变量信息表 | 第55-57页 |
| 第五章 程序结构规范化技术 | 第57-76页 |
| ·表达式规范化技术 | 第57-62页 |
| ·赋值表达式 | 第57-58页 |
| ·逻辑表达式 | 第58-59页 |
| ·算术表达式 | 第59-61页 |
| ·关系表达式 | 第61-62页 |
| ·一元表达式 | 第62页 |
| ·条件语句规范化技术 | 第62-67页 |
| ·if语句处理 | 第62-64页 |
| ·switch语句处理 | 第64-66页 |
| ·条件表达式的处理 | 第66-67页 |
| ·循环语句规范化技术 | 第67-72页 |
| ·三种表达式的信息提取方法 | 第67页 |
| ·for语句处理 | 第67-69页 |
| ·while语句处理 | 第69-70页 |
| ·do-while语句处理 | 第70-72页 |
| ·多层混合嵌套处理 | 第72页 |
| ·语句综合处理 | 第72-76页 |
| ·中间变量的消除 | 第73页 |
| ·语句次序的处理 | 第73-74页 |
| ·无用、不可达语句的删除 | 第74-75页 |
| ·函数处理 | 第75-76页 |
| 第六章 程序比较及评分技术 | 第76-87页 |
| ·变量跟踪技术 | 第76-78页 |
| ·变量信息表的构造 | 第76页 |
| ·跟踪技术实现 | 第76-78页 |
| ·程序错误分类 | 第78-79页 |
| ·评分规则 | 第79-82页 |
| ·程序比较及评分过程 | 第82-87页 |
| ·程序比较过程 | 第82-85页 |
| ·程序评分过程 | 第85-87页 |
| 第七章 例子分析 | 第87-95页 |
| 结论 | 第95-97页 |
| 参考文献 | 第97-100页 |
| 攻读学位期间发表的学术论文 | 第100-101页 |
| 独创性声明 | 第101-102页 |
| 致谢 | 第102页 |