| 摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 1 绪论 | 第9-14页 |
| ·课题背景 | 第9-10页 |
| ·国内外研究现状 | 第10-11页 |
| ·我国城市轨道交通发展现状 | 第10页 |
| ·轨道交通 AFC 系统发展现状 | 第10-11页 |
| ·半自动售票机研究现状 | 第11页 |
| ·研究目标及内容 | 第11-12页 |
| ·论文结构 | 第12-13页 |
| ·本章小结 | 第13-14页 |
| 2 领域驱动设计和半自动售票机相关技术综述 | 第14-20页 |
| ·领域驱动设计的相关理论 | 第14-17页 |
| ·领域驱动设计概述 | 第14-15页 |
| ·领域模型 | 第15页 |
| ·分层架构 | 第15-16页 |
| ·模型的构造块 | 第16-17页 |
| ·行为驱动开发的相关理论 | 第17-18页 |
| ·行为驱动开发概述 | 第17页 |
| ·支持行为驱动开发的工具 | 第17-18页 |
| ·.NET Framework 技术 | 第18-19页 |
| ·.NET Framework 概要 | 第18页 |
| ·Entity Framework 框架 | 第18页 |
| ·Unity 依赖注入工具 | 第18-19页 |
| ·本章小结 | 第19-20页 |
| 3 半自动售票机领域分析与建模 | 第20-35页 |
| ·领域分析 | 第20-22页 |
| ·AFC 系统概述 | 第20-21页 |
| ·BOM 功能概述 | 第21-22页 |
| ·领域模型 | 第22-26页 |
| ·BOM 领域对象模型 | 第22-26页 |
| ·BOM/EFO 模式及业务规则 | 第26页 |
| ·用例模型 | 第26-34页 |
| ·系统目标及功能概览 | 第27-28页 |
| ·核心业务用例描述 | 第28-34页 |
| ·本章小结 | 第34-35页 |
| 4 半自动售票机系统的架构与设计 | 第35-49页 |
| ·架构设计 | 第35-36页 |
| ·基础设施层 | 第36页 |
| ·领域层 | 第36页 |
| ·应用层 | 第36页 |
| ·表现层 | 第36页 |
| ·模块设计 | 第36-48页 |
| ·票卡领域对象的建模 | 第37-39页 |
| ·参数领域对象的建模 | 第39-42页 |
| ·通讯层 DTO 的构建 | 第42-44页 |
| ·分析服务模块的建模 | 第44-45页 |
| ·操作服务模块的建模 | 第45-48页 |
| ·本章小结 | 第48-49页 |
| 5 半自动售票机系统的实现与验证 | 第49-87页 |
| ·持久层的实现 | 第49-53页 |
| ·持久化无关的领域层 | 第49-50页 |
| ·利用仓储构建持久层 | 第50-53页 |
| ·通讯模块的实现 | 第53-61页 |
| ·基于特性的报文协议序列化 | 第53-55页 |
| ·通用的通讯协议框架的实现 | 第55-57页 |
| ·DTO 到领域对象的映射 | 第57-61页 |
| ·业务模块的实现 | 第61-66页 |
| ·票卡分析模块 | 第61-63页 |
| ·分析策略对象 | 第63-66页 |
| ·票卡操作模块的实现 | 第66-73页 |
| ·单程票与交通卡更新 | 第66-68页 |
| ·寄存器与交易数据 | 第68-73页 |
| ·依赖注入机制的实现 | 第73-78页 |
| ·使用 Unity 实现依赖注入 | 第73-75页 |
| ·为测试采用不同的依赖注入 | 第75-77页 |
| ·构建的配置 | 第77-78页 |
| ·单元测试的实现 | 第78-80页 |
| ·使用 Moq 实现通讯模块单元测试 | 第78-79页 |
| ·建立 Stub 模块替换持久层实现 | 第79-80页 |
| ·用户验收测试的实现 | 第80-84页 |
| ·功能（Feature）的定义 | 第81-82页 |
| ·步骤定义（Step Definition）的实现 | 第82-84页 |
| ·测试结论与应用 | 第84-86页 |
| ·本章小结 | 第86-87页 |
| 6 研究结论与展望 | 第87-89页 |
| 参考文献 | 第89-91页 |
| 攻读学位期间发表的学术论文目录 | 第91-93页 |
| 附件 | 第93-94页 |