基于B方法的在线考试软件需求规格形式化方法的研究
| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 第一章 绪论 | 第8-12页 |
| 1.1 研究背景及意义 | 第8-9页 |
| 1.1.1 研究背景 | 第8页 |
| 1.1.2 研究意义 | 第8-9页 |
| 1.2 国内外相关研究现状 | 第9页 |
| 1.2.1 在线考试系统发展现状 | 第9页 |
| 1.2.2 形式化B方法研究现状 | 第9页 |
| 1.3 论文研究内容及主要工作 | 第9-12页 |
| 1.3.1 研究内容 | 第9-10页 |
| 1.3.2 主要工作 | 第10-11页 |
| 1.3.3 内容组织 | 第11-12页 |
| 第二章 相关理论研究 | 第12-20页 |
| 2.1 形式化方法 | 第12-13页 |
| 2.1.1 形式化方法研究内容 | 第12页 |
| 2.1.2 形式化需求规格说明优缺点 | 第12-13页 |
| 2.2 B方法理论研究 | 第13-17页 |
| 2.2.1 B方法的概述 | 第13页 |
| 2.2.2 B方法的符号表示 | 第13-14页 |
| 2.2.3 B方法的抽象机表达机制 | 第14-15页 |
| 2.2.4 B方法的结构化机制 | 第15-16页 |
| 2.2.5 B方法与其他形式化方法的比较 | 第16-17页 |
| 2.3 UML用例模型理论研究 | 第17-19页 |
| 2.3.1 用例模型概述 | 第17页 |
| 2.3.2 系统 | 第17页 |
| 2.3.3 用例 | 第17-18页 |
| 2.3.4 参与者 | 第18页 |
| 2.3.5 参与者与用例之间的关系 | 第18页 |
| 2.3.6 用例规约 | 第18页 |
| 2.3.7 用例模型的作用 | 第18-19页 |
| 2.4 本章小结 | 第19-20页 |
| 第三章 在线考试软件需求分析 | 第20-29页 |
| 3.1 传统考试软件流程分析 | 第20-21页 |
| 3.2 在线考试软件总体需求分析 | 第21-22页 |
| 3.3 在线考试软件的用例模型 | 第22-27页 |
| 3.3.1 用例模型的建立 | 第22页 |
| 3.3.2 顶层用例模型 | 第22-27页 |
| 3.4 在线考试软件用例模型存在的问题 | 第27-28页 |
| 3.5 本章小结 | 第28-29页 |
| 第四章 基于B方法的用例模型形式化描述 | 第29-38页 |
| 4.1 用例模型形式化总体思路 | 第29页 |
| 4.2 类的形式化描述 | 第29-31页 |
| 4.3 用例模型元素的形式化描述 | 第31-36页 |
| 4.3.1 参与者及参与者之间关系的形式化描述 | 第31-32页 |
| 4.3.2 用例及用例之间常用关系的形式化描述 | 第32-35页 |
| 4.3.3 参与者与用例之间关联的形式化描述 | 第35-36页 |
| 4.4 UML用例模型到B形式规约的转换过程 | 第36页 |
| 4.5 本章小结 | 第36-38页 |
| 第五章 实例分析 | 第38-44页 |
| 5.1 学生考试过程用例模型 | 第38-39页 |
| 5.2 用例模型的B形式规约 | 第39-42页 |
| 5.2.1 相关类的形式化描述 | 第39-41页 |
| 5.2.2 参与者的形式化描述 | 第41-42页 |
| 5.2.3 用例的形式化描述 | 第42页 |
| 5.3 系统的形式化验证 | 第42-43页 |
| 5.4 本章小结 | 第43-44页 |
| 第六章 总结与展望 | 第44-46页 |
| 6.1 总结 | 第44-45页 |
| 6.2 展望 | 第45-46页 |
| 参考文献 | 第46-48页 |
| 致谢 | 第48页 |
