| 前言 | 第1-13页 |
| 第一章 KJ15A系统联锁软件及其安全测试要求 | 第13-26页 |
| ·矿井机车运输的信号系统 | 第13-14页 |
| ·KJ15A系统简介 | 第14-21页 |
| ·系统构成及控制原理 | 第14-17页 |
| ·KJ15A系统软件 | 第17-21页 |
| ·矿井机车运输监控软件的安全性等级标准 | 第21-22页 |
| ·矿井机车运输系统的安全性软件的测试要求 | 第22-23页 |
| ·安全软件测试研究的现状 | 第23-26页 |
| 第二章 测试数据基生成策略研究 | 第26-33页 |
| ·测试数据基涵盖的内容 | 第26-27页 |
| ·测试数据基的形式化表达 | 第27-33页 |
| ·知识表示的基本模式 | 第27-30页 |
| ·规则集及仿真命令数据的形式化表示方法研究 | 第30-32页 |
| ·设备分布数据以及运行路径数据的形式化表示方法研究 | 第32-33页 |
| 第三章 测试用例构造研究 | 第33-50页 |
| ·测试的理论基础 | 第33-35页 |
| ·动态测试和静态测试 | 第33页 |
| ·软件测试的充分性 | 第33-35页 |
| ·KJ15A系统单元测试案例构造 | 第35-41页 |
| ·系统的功能分割 | 第36页 |
| ·基本程序单元测试方法 | 第36-41页 |
| ·系统测试案例构造 | 第41-47页 |
| ·系统的安全侧与危险侧输出 | 第42-43页 |
| ·软件故障树以及安全约束条件的生成策略 | 第43-47页 |
| ·其他一些要说明的内容 | 第47-50页 |
| ·KJ15A系统安全分析重点问题 | 第47页 |
| ·功能测试案例构造的步骤 | 第47-49页 |
| ·功能测试中未包含的情况 | 第49-50页 |
| 第四章 测试结果判定方法研究 | 第50-55页 |
| ·测试结果自动判定的方法研究 | 第50-53页 |
| ·基于对比环境的自动判定系统 | 第50-52页 |
| ·基于规则的动态判定系统 | 第52-53页 |
| ·实践中的选择 | 第53-55页 |
| 第五章 软件测试结果与可靠性预测 | 第55-65页 |
| ·软件测试与软件可靠性建模 | 第55-56页 |
| ·可靠性预测模型选择中的问题 | 第56-58页 |
| ·影响软件可靠性预测的主要因素 | 第56-57页 |
| ·针对KJ15A系统的预测模型选择 | 第57-58页 |
| ·基于级联神经网络的软件可靠性预测 | 第58-63页 |
| ·级联模型神经网络概述 | 第58页 |
| ·可靠性增长预测神经网络系统架构 | 第58-59页 |
| ·预测系统中的构建 | 第59-61页 |
| ·不同测试模型的结果比较 | 第61-63页 |
| ·结论及应用 | 第63页 |
| ·补充说明的一些问题 | 第63-65页 |
| 第六章 KJ15A自动测试系统的系统结构 | 第65-74页 |
| ·自动测试系统的功能要求以及测试方法的选择 | 第65页 |
| ·系统应提供的功能 | 第65页 |
| ·系统测试方法的选择 | 第65页 |
| ·系统结构设计 | 第65-70页 |
| ·测试数据基生成系统 | 第66-67页 |
| ·测试案例自动生成系统 | 第67-68页 |
| ·现场运行仿真系统 | 第68页 |
| ·测试结果自动判定系统 | 第68-70页 |
| ·测试数据库系统 | 第70页 |
| ·各部分的接口设计 | 第70-71页 |
| ·开发环境的选择与推理机实现 | 第71-74页 |
| ·开发环境的选择 | 第71-72页 |
| ·推理机的实现 | 第72-74页 |
| 后记 | 第74-76页 |
| 参考文献 | 第76-79页 |