原文传递
基于测试的车站列控中心软件安全性评估
| 论文题名： | 基于测试的车站列控中心软件安全性评估 |
| 关键词： | 车站列控中心;列控软件;安全性评估;软件测试 |
| 摘要： | 随着中国铁路跨越式发展战略的实施，中国列车运行控制系统进入了工程实践阶段。车站列控中心软件(简称“列控软件”)是列车运行控制软件之一，是设于各车站的列车控制系统核心安全软件，如何科学地确保和评估列控软件的安全性已成为亟待解决的现实问题。 首先，文章介绍了安全软件测试评估的基本理论、技术、方法，结合列控软件独立第三方测试评估的背景，重点介绍了基于黑盒测试的安全软件自动化测试评估技术。 接着，简单介绍了列控软件的系统结构并讨论了列控软件的测试需求。在此基础上建立列控软件测试平台，并详细介绍该测试平台的站场数据生成及测试用基础数据生成子系统、测试用例自动生成、测试结果动态判定、记录及查询子系统、平台通信及各仿真子系统等关键模块，以实现对列控软件的自动化测试。 最后，利用测试结果记录和改进的Jelinski-Moranda(J-M)模型对列控软件的安全性进行定量评估。该改进的J-M模型是通过改变J-M可靠性模型相关假设及参数，提出的一个既能描述安全软件测试剖面与操作剖面不同，又能描述故障引入率的列控软件安全性评估模型。 |
| 作者： | 王小丽 |
| 专业： | 通信与信息系统 |
| 导师： | 徐中伟 |
| 授予学位： | 硕士 |
| 授予学位单位： | 同济大学电子与信息工程学院 |
| 学位年度： | 2008 |
| 正文语种： | 中文 |
检索历史
应用推荐
