铁路安全软件测试评估

    本书介绍了安全软件测试的基本思想、评估基础和实现途径，测试评估平台构成的技术。并以铁路信号安全软件的测试为实例，阐述了安全软件测试评估平台的结构以及软件测试的具体方法。本书还介绍了实际使用的铁路车站信号计算机联锁软件测试评估平台、计算机联锁软件出厂检测装置和能进行现场测试的便携式联锁软件测试仪的概况和操作方法。这些思路和方法对铁路其他采用计算机控制的系统，以及铁路以外其他安全控制系统来说都是适用的，对于希望深入了解这些技术的人员会有启发作用。
    本书可以作为相关专业的研究生教材，也可供从事相关工作的科研和工程技术人员参考。

第一章  概    论
　一、软件体系结构
　二、软件工程化开发和软件工程管理
第二章  铁路安全控制软件评价基础及实现途径
　第一节  铁路安全控制软件评价基础
    一、关于软件安全性完善度等级
　　二、安全软件测试评估
    三、第三方测试评估方法概述
　第二节  基于对比环境或动态判定的黑箱测试过程描述
    一、软件测试
　　二、铁路安全控制和防护软件及真测试特点分析
    三、基于对比环境的黑箱测试评估技术概述
    四、基于动态判定的黑箱测试评估技术概述
第三章  铁路安全控制软件测试评估平台罐系结构
　第一节  铁路安全控制软件测试评估平台系统结构
    一、被测系统概况
    二、计算机联锁软件测试评估平台系统结构概述
    三、平台和被测联锁软件的连接
    四、平台硬件系统结构的比较及选择
    五、系统的软件体系结构
    六、平台运行过程
　第二节  联锁软件测试评估平台软件系统的基本组成及功能
    一、基本组成
    二、站场数据生成及站场联锁特征数据抽取子系统
    三、测试案例自动生成和扩展、测试结果动态判定及站场显示子系统
    四、通用现场仿真子系统
    五、测试结果记录及查询子系统
    六、数据库管理子系统
    七、平台通信子系统
第四章  测试用基础数据的生成策略及算法
  第一节  知识及知识表示
    一、知识定义
    二、知识的分类
    三、知识属性
　　……
第五章　测试案例自动生成及扩展和测试结果动态判定
第六章　基于软件测试评估平台的铁路信号现场仿真
第七章　安全软件通用测试评估平台专用数据库
第八章　铁路安全控制软件测试评估平台接口技术
第九章　软件安全性评估
第十章　应用
参考文献