图书介绍
铁路安全软件测试评估PDF|Epub|txt|kindle电子书版本网盘下载
- 吴芳美主编；赵志熙主审 著
- 出版社： 北京：中国铁道出版社
- ISBN：7113042414
- 出版时间：2001
- 标注页数：148页
- 文件大小：51MB
- 文件页数：158页
- 主题词：
PDF下载
下载说明
铁路安全软件测试评估PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 概论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 API108
第二节 软件测试评估平台内部及与被测系统的接口技术分析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