车站计算机联锁软件自动测试技术设计研究
| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 1 绪论 | 第8-12页 |
| 1.1 车站计算机联锁系统简述 | 第8页 |
| 1.2 计算机联锁软件自动测试的必要性 | 第8-9页 |
| 1.3 联锁软件自动测试系统组成 | 第9-10页 |
| 1.4 论文中的主要工作 | 第10-12页 |
| 2 联锁软件测试现场设备建模 | 第12-25页 |
| 2.1 Petri网简介 | 第12页 |
| 2.2 车站信号设备建模 | 第12-24页 |
| 2.2.1 信号机模型 | 第13-18页 |
| 2.2.2 道岔模型 | 第18-19页 |
| 2.2.3 轨道区段模型 | 第19-21页 |
| 2.2.4 仿真策略及模拟联锁系统 | 第21-24页 |
| 2.3 本章小结 | 第24-25页 |
| 3 测试案例的生成方法研究 | 第25-37页 |
| 3.1 铁道信号知识表示 | 第25-29页 |
| 3.2 测试案例的生成算法 | 第29-36页 |
| 3.2.1 联锁软件测试环境生成 | 第29-31页 |
| 3.2.2 基于GA的联锁软件测试案例生成 | 第31-36页 |
| 3.3 本章小结 | 第36-37页 |
| 4 联锁软件测试结果的判定方法研究 | 第37-43页 |
| 4.1 基于规则的动态判定方法 | 第37-38页 |
| 4.2 联锁规则库设计 | 第38-40页 |
| 4.2.1 层次化联锁规则库结构设计 | 第38页 |
| 4.2.2 联锁规则条件动作语法及其描述 | 第38-39页 |
| 4.2.3 基于规则的自动判定算法描述 | 第39-40页 |
| 4.3 基于规则的自动判定的应用 | 第40-42页 |
| 4.4 本章小结 | 第42-43页 |
| 5 标准站联锁软件的测试 | 第43-52页 |
| 5.1 标准站的联锁规则的测试实施 | 第43-50页 |
| 5.2 标准站联锁软件的测试结果分析 | 第50-51页 |
| 5.3 本章小结 | 第51-52页 |
| 结论 | 第52-53页 |
| 致谢 | 第53-54页 |
| 参考文献 | 第54-55页 |
