文摘
英文文摘
论文说明：图表目录
独创性声明及学位论文版权使用授权书
致谢
前言
第一章联锁系统软件测试技术与策略的研究
1.1联锁系统系统结构
1.2 HJ04A计算机联锁系统
1.2.1系统结构和工作原理
1.2.2技术措施
1.3软件测试策略的研究
1.3.1软件测试
1.3.2测试的研究方向
1.3.3测试策略
1.3.4测试的过程
1.3.5测试的步骤
1.4面向对象的软件测试
1.5本章小结
第二章联锁软件的安全性和风险度量
2.1安全性
2.2软件安全性完善度等级
2.2.1等级划分
2.2.2分级的软件安全性
2.2.3软件失效
2.2.4贝叶斯推断
2.3基于测试的软件安全性评估
2.4在黑箱条件下分析安全软件风险
2.4.1基于黑箱测试的软件风险
2.4.2联锁软件的风险分析与计算
2.4.3联锁软件的安全性评估
2.4.4评估参数的选取
2.5本章小结
第三章建立基于对比环境的黑箱测试平台
3.1软件测试
3.1.1白箱测试
3.1.2黑箱测试
3.1.3灰箱测试
3.2基于对比环境的黑箱测试技术
3.2.1基于对比技术的软件黑箱测试过程
3.2.2基于对比技术的软件黑箱测试方案
3.3基于黑箱的安全性测试策略
3.3.1时序可确定系统
3.3.2联锁系统的输入/输出集
3.3.3微机联锁系统的危险侧输出
3.3.4微机联锁系统输入集的分析
3.3.5建立在安全性输出一输入关系上的测试策略
3.4测试平台的建立
3.4.1联锁系统软件结构及功能分析
3.4.2数据组织
3.4.3测试平台系统结构
3.5本章小结
第四章静态数据交换策略
4.1平台结构与平台的内部数据交换
4.2平台静态数据结构
4.3 CLIENT/SERVER系统与关系数据库的结合
4.3.1 CLIENT/SERVER系统
4.3.2数据库的设计
4.4平台静态数据的数据库设计方案
4.4.1联锁表自动生成
4.4.2数据查询
4.5本章小结
第五章铁路信号现场仿真
5.1系统分析
5.1.1信号机模型
5.1.2道岔模型
5.1.3轨道区段
5.2仿真软件构造
5.3本章小结
第六章测试平台的应用
6.1编码
6.2测试软件工作流程
6.3联锁软件安全性定量分析
6.4测试结果比较与分析
6.5本章小结
第七章结束语
参考文献
