铁路安全软件测试评估PDF电子书下载

第一章 概论 1

一、软件体系结构 3

二、软件工程化开发和软件工程管理 3

第二章 铁路安全控制软件评价基础及实现途径 8

第一节 铁路安全控制软件评价基础 8

一、关于软件安全性完善度等级 8

二、安全软件测试评估 11

三、第三方测试评估方法概述 12

第二节 基于对比环境或动态判定的黑箱测试过程描述 15

一、软件测试 15

二、铁路安全控制和防护软件及其测试特点分析 17

三、基于对比环境的黑箱测试评估技术概述 18

四、基于动态判定的黑箱测试评估技术概述 20

第三章 铁路安全控制软件测试评估平台体系结构 21

第一节 铁路安全控制软件测试评估平台系统结构 21

一、被测系统概况 21

二、计算机联锁软件测试评估平台系统结构概述 21

三、平台和被测联锁软件的连接 22

四、平台硬件系统结构的比较及选择 22

五、系统的软件体系结构 23

六、平台运行过程 25

第二节 联锁软件测试评估平台软件系统的基本组成及功能 26

一、基本组成 26

二、站场数据生成及站场联锁特征数据抽取子系统 26

三、测试案例自动生成和扩展、测试结果动态判定及站场显示子系统 27

四、通用现场仿真子系统 27

五、测试结果记录及查询子系统 27

六、数据库管理子系统 28

七、平台通信子系统 28

第四章 测试用基础数据的生成策略及算法 29

第一节 知识及知识表示 29

一、知识定义 29

二、知识的分类 30

三、知识属性 30

四、知识表示及表示模式 31

五、铁路信号域知识及其表示 31

第二节 测试用基础数据生成 35

一、站场数据录入子系统 36

二、测试用基础数据生成 37

三、测试数据管理方式 38

四、测试用基础数据模式 38

五、测试用基础数据的生成算法 40

第五章 测试案例自动生成及扩展和测试结果动态判定 47

第一节 测试案例的选取和生成策略 47

一、分级的测试案例集 48

二、覆盖全部控制对象的测试案例集 49

三、测试案例自动生成专家系统 52

第二节 安全软件自动测试案例建模 53

一、输入与输出映射 54

二、测试案例结构 56

第三节 安全软件测试案例的自动生成和扩展及测试结果动态判定 58

一、安全性需求的故障树形式化表达技术 58

二、安全性测试案例的自动生成和扩展及测试结果动态判定 62

第六章 基于软件测试评估平台的铁路信号现场仿真 69

第一节 信号仿真系统设计 69

一、概述 69

二、铁路信号仿真系统设计的一般步骤 70

三、离散事件仿真 71

四、面向对象建模和仿真 73

五、仿真图解建模 74

六、仿真应用 77

第二节 车站信号仿真系统 78

一、系统结构 78

二、仿真模型设计 79

三、仿真软件设计 81

四、系统实现 83

第三节 发展和展望 84

一、区间信号仿真系统 84

二、驼峰场信号仿真系统 85

三、技术改进 85

第七章 安全软件通用测试评估平台专用数据库 88

第一节 数据库技术概论 88

一、数据库技术的发展简史及展望 88

二、关系数据库 89

三、标准化的数据库模型 90

第二节 安全软件测试评估平台的数据交换 91

一、测试评估平台数据流 92

二、动态数据及其传输 93

三、静态数据及其复制 93

第三节 测试评估平台专用数据库设计及其实现 95

一、客户端/服务器（Client/Server）体系概述 95

二、数据库设计的一般步骤 96

三、平台专用数据库设计 97

四、客户端子系统程序设计与实现 99

五、数据库接口方式研究 100

第八章 铁路安全控制软件测试评估平台接口技术 103

第一节 计算机通信接口技术 103

一、计算机通信接口技术概述 103

二、网络通信 106

三、Windows Sockets API 108

第二节 软件测试评估平台内部及与被测系统的接口技术分析 109

一、软件测试评估平台接口技术概述 109

二、实现平台与被测系统数据传输的基本功能 109

三、传输流量控制 110

四、差错控制 110

五、分布式的进程同步 111

第三节 测试评估平台内部及与被测系统之间的接口协议 112

一、接口概况 112

二、通信方式及协议 113

三、测试评估平台测试数据通信的实现 113

四、测试评估平台通信性能分析 115

第九章 软件安全性评估 118

第一节 黑箱测试和风险分析 118

一、黑箱测试 118

二、风险分析 121

三、软件风险分析 123

四、基于黑箱测试的软件风险分析 125

五、铁路车站计算机联锁软件的风险分析 126

第二节 基于黑箱测试和风险分析的安全性定量评估 127

一、联锁软件的安全性投放与比较准则 127

二、联锁软件安全性可接受概率阈值组的确定 128

三、事故后果参数（CⅠ～CⅣ）的选取 130

四、基于黑箱测试及风险分析的联锁软件安全性评估过程 131

五、风险矩阵 131

第十章 应用 133

第一节 铁路车站计算机联锁软件测试评估平台的应用 133

一、通过联锁软件安全性投放准则的测试结果统计与分析 134

二、通过投放准则后的残留问题的风险计算与安全性比较 135

第二节 计算机联锁软件检测装置 136

一、主要技术要求 136

二、系统体系结构 137

三、通用标准接口 138

四、检测装置管理及人机工程 139

第三节 便携式联锁软件测试仪 142

一、测试仪的软件结构及功能 143

二、测试仪的运行和使用 143

参考文献 146