基于UPPAAL的计算机联锁进路控制过程测试用例自动生成
| 摘要 | 第6-7页 |
| abstract | 第7-8页 |
| 第1章 绪论 | 第11-15页 |
| 1.1 研究背景和意义 | 第11页 |
| 1.2 国内外研究现状 | 第11-13页 |
| 1.2.1 国外研究现状 | 第12页 |
| 1.2.2 国内研究现状 | 第12-13页 |
| 1.3 主要研究内容及论文结构 | 第13-15页 |
| 1.3.1 论文主要内容 | 第13页 |
| 1.3.2 论文结构组织 | 第13-15页 |
| 第2章 基于模型的测试用例生成方法 | 第15-20页 |
| 2.1 有限状态机模型 | 第15-16页 |
| 2.2 建模工具 | 第16-17页 |
| 2.2.1 UPPAAL状态机模型 | 第16页 |
| 2.2.2 BNF语法基础 | 第16-17页 |
| 2.3 测试用例生成框架 | 第17-20页 |
| 第3章 进路控制过程需求分析 | 第20-26页 |
| 3.1 进路控制功能 | 第20-21页 |
| 3.2 人环因素分析 | 第21-22页 |
| 3.3 数据配置 | 第22-25页 |
| 3.3.1 数据结构定义 | 第22-24页 |
| 3.3.2 常量和系统故障变量定义 | 第24页 |
| 3.3.3 联锁表的编制 | 第24-25页 |
| 3.4 模型交互分析 | 第25-26页 |
| 第4章 进路控制过程模型建立 | 第26-46页 |
| 4.1 进路建立过程建模 | 第26-32页 |
| 4.1.1 操作选路阶段 | 第26-27页 |
| 4.1.2 道岔转换阶段 | 第27-29页 |
| 4.1.3 进路锁闭阶段 | 第29-31页 |
| 4.1.4 信号开放阶段 | 第31-32页 |
| 4.2 进路解锁过程建模 | 第32-38页 |
| 4.2.1 进路自动解锁 | 第32-35页 |
| 4.2.2 调车中途折返解锁 | 第35-36页 |
| 4.2.3 取消进路和人工延时解锁 | 第36-37页 |
| 4.2.4 故障解锁 | 第37-38页 |
| 4.3 模型的仿真与验证 | 第38-46页 |
| 4.3.1 模型仿真 | 第38-40页 |
| 4.3.2 模型验证 | 第40-46页 |
| 第5章 进路控制过程测试用例生成 | 第46-64页 |
| 5.1 模型解析及存储 | 第46-51页 |
| 5.1.1 模型解析 | 第46-49页 |
| 5.1.2 模型存储 | 第49-51页 |
| 5.2 生成抽象测试用例 | 第51-56页 |
| 5.2.1 覆盖准则分析 | 第51页 |
| 5.2.2 DFS算法分析 | 第51-52页 |
| 5.2.3 生成抽象结果 | 第52-56页 |
| 5.3 生成具体测试用例 | 第56-64页 |
| 5.3.1 基本思路 | 第56-57页 |
| 5.3.2 生成具体结果 | 第57-64页 |
| 结论 | 第64-65页 |
| 致谢 | 第65-66页 |
| 参考文献 | 第66-70页 |
| 附录 | 第70-74页 |
| 攻读硕士学位期间发表的论文及科研成果 | 第74页 |
