| 第一章 铁路信号与计算机联锁系统 | 第1-20页 |
| ·铁路信号概述 | 第12-13页 |
| ·故障-安全的概念 | 第13-14页 |
| ·计算机联锁软件 | 第14-16页 |
| ·概述 | 第14页 |
| ·联锁功能 | 第14-15页 |
| ·可靠性与安全性 | 第15页 |
| ·设计 | 第15-16页 |
| ·软件中的缺陷 | 第16页 |
| ·计算机联锁系统测试技术现状 | 第16-18页 |
| ·本课题的主要研究内容与意义 | 第18-19页 |
| ·本章小结 | 第19-20页 |
| 第二章 计算机联锁软件测试平台建模 | 第20-34页 |
| ·计算机联锁软件的故危险侧输出模型 | 第20-23页 |
| ·联锁软件输入输出模型 | 第20页 |
| ·联锁软件输入输出集 | 第20-23页 |
| ·测试方法的选择 | 第23-29页 |
| ·计算机软件测试策略 | 第23-27页 |
| ·测试平台所采用的测试方法 | 第27-29页 |
| ·测试平台的功能与结构 | 第29-31页 |
| ·对比测试环境 | 第31-32页 |
| ·测试平台的测试流程 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 第三章 联锁软件需求形式化定义 | 第34-71页 |
| ·形式化描述语言 | 第34-37页 |
| ·形式化方法 | 第34-35页 |
| ·形式化描述 | 第35页 |
| ·形式化验证 | 第35-36页 |
| ·形式化方法评价 | 第36-37页 |
| ·UML统一建模语言 | 第37-43页 |
| ·有关UML | 第37-40页 |
| ·UML定义与内容 | 第40-42页 |
| ·UML的视图与图 | 第42-43页 |
| ·Petri网原理与应用 | 第43-53页 |
| ·Petril网简介 | 第43页 |
| ·Petril网的基本原理 | 第43-47页 |
| ·Petril网的分析方法 | 第47-50页 |
| ·高级 Petril网 | 第50-53页 |
| ·联锁软件需求形式化描述 | 第53-70页 |
| ·联锁软件需求的自然语言描述 | 第53-57页 |
| ·联锁软件规则的UML语言描述 | 第57-64页 |
| ·联锁软件规则的Petri网模型 | 第64-70页 |
| ·本章小结 | 第70-71页 |
| 第四章 测试用例构造研究 | 第71-79页 |
| ·系统测试案例构造原则 | 第71页 |
| ·系统的安全侧与危险侧输出 | 第71-72页 |
| ·基于Petri网的系统测试用例构造 | 第72-78页 |
| ·联锁软件安全性需求的Petri网模型的位置和编号 | 第72-73页 |
| ·联锁软件安全性需求的Petri网模型 | 第73-74页 |
| ·联锁软件安全性测试用例的生成 | 第74-78页 |
| ·功能测试中未包含的情况 | 第78页 |
| ·本章小结 | 第78-79页 |
| 第五章 测试结果判定方法研究 | 第79-84页 |
| ·测试结果自动判定的方法研究 | 第79-82页 |
| ·基于规则的动态判定系统 | 第79-80页 |
| ·基于对比环境的自动判定系统 | 第80-82页 |
| ·测试平台的测试结果判定方法 | 第82页 |
| ·系统输出命令格式定义 | 第82-83页 |
| ·本章小结 | 第83-84页 |
| 第六章 结束语 | 第84-85页 |
| 参考文献 | 第85-89页 |
| 攻读硕士学位期间科研情况和完成的论文 | 第89页 |