| 前言 | 第1-12页 |
| 第一章 联锁系统软件测试技术与策略的研究 | 第12-20页 |
| ·联锁系统系统结构 | 第12-13页 |
| ·HJ04A计算机联锁系统 | 第13-16页 |
| ·系统结构和工作原理 | 第13-16页 |
| ·技术措施 | 第16页 |
| ·软件测试策略的研究 | 第16-19页 |
| ·软件测试 | 第17页 |
| ·测试的研究方向 | 第17-18页 |
| ·测试策略 | 第18页 |
| ·测试的过程 | 第18-19页 |
| ·测试的步骤 | 第19页 |
| ·面向对象的软件测试 | 第19页 |
| ·本章小结 | 第19-20页 |
| 第二章 联锁软件的安全性和风险度量 | 第20-32页 |
| ·安全性 | 第20页 |
| ·软件安全性完善度等级 | 第20-24页 |
| ·等级划分 | 第20-21页 |
| ·分级的软件安全性 | 第21-22页 |
| ·软件失效 | 第22-23页 |
| ·贝叶斯推断 | 第23-24页 |
| ·基于测试的软件安全性评估 | 第24-25页 |
| ·在黑箱条件下分析安全软件风险 | 第25-31页 |
| ·基于黑箱测试的软件风险 | 第25-26页 |
| ·联锁软件的风险分析与计算 | 第26-28页 |
| ·联锁软件的安全性评估 | 第28-30页 |
| ·评估参数的选取 | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 第三章 建立基于对比环境的黑箱测试平台 | 第32-47页 |
| ·软件测试 | 第32页 |
| ·白箱测试 | 第32页 |
| ·黑箱测试 | 第32页 |
| ·灰箱测试 | 第32页 |
| ·基于对比环境的黑箱测试技术 | 第32-34页 |
| ·基于对比技术的软件黑箱测试过程 | 第33页 |
| ·基于对比技术的软件黑箱测试方案 | 第33-34页 |
| ·基于黑箱的安全性测试策略 | 第34-39页 |
| ·时序可确定系统 | 第34-35页 |
| ·联锁系统的输入/输出集 | 第35-37页 |
| ·微机联锁系统的危险侧输出 | 第37页 |
| ·微机联锁系统输入集的分析 | 第37-38页 |
| ·建立在安全性输出 - 输入关系上的测试策略 | 第38-39页 |
| ·测试平台的建立 | 第39-46页 |
| ·联锁系统软件结构及功能分析 | 第39-42页 |
| ·数据组织 | 第42-44页 |
| ·测试平台系统结构 | 第44-46页 |
| ·本章小结 | 第46-47页 |
| 第四章 静态数据交换策略 | 第47-54页 |
| ·平台结构与平台的内部数据交换 | 第47页 |
| ·平台静态数据结构 | 第47-48页 |
| ·CLIENT/SERVER系统与关系数据库的结合 | 第48-50页 |
| ·CLIENT/SERVER系统 | 第49页 |
| ·数据库的设计 | 第49-50页 |
| ·平台静态数据的数据库设计方案 | 第50-53页 |
| ·联锁表自动生成 | 第51-52页 |
| ·数据查询 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第五章 铁路信号现场仿真 | 第54-59页 |
| ·系统分析 | 第54-57页 |
| ·信号机模型 | 第54-55页 |
| ·道岔模型 | 第55-56页 |
| ·轨道区段 | 第56-57页 |
| ·仿真软件构造 | 第57-58页 |
| ·本章小结 | 第58-59页 |
| 第六章 测试平台的应用 | 第59-66页 |
| ·编码 | 第59页 |
| ·测试软件工作流程 | 第59-61页 |
| ·联锁软件安全性定量分析 | 第61-63页 |
| ·测试结果比较与分析 | 第63-65页 |
| ·本章小结 | 第65-66页 |
| 第七章 结束语 | 第66-67页 |
| 参考文献 | 第67-69页 |