安全苛求软件测方法在ctcs-3级列控系统车载设备测试中的应用研究.pdfVIP

中文摘要 摘要：随着计算机科学技术和中国铁路的飞速发展，计算机及软件在轨道交通系 统中起着越来越重要的作用。软件的质量直接决定了整个轨道交通系统的质量， 软件的故障可能会引发灾难性的后果以及造成无法估计的损失。软件测试能够最 大限度地发现软件中的错误并减少软件中残留的隐患，因此，在轨道交通系统中， 加强安全苛求软件的测试工作是保证软件安全性的基本途径和有效手段。 随着我国高铁的发展，为确保列车可靠、安全地运行，迫切需要装备性能稳 定、安全可靠的列控系统。而对于通过引进国外关键技术、消化吸收再创新的国 产化cTCS．3级列控系统，由于其起步较晚，专门针对列车控制系统中安全苛求软 件测试的研究还很少，所以必须研究适用于CTCS．3级列控系统的测试方法。 论文对安全苛求软件的测试方法及其在CTCS．3级列控系统车载设备测试中 的应用进行研究。介绍了安全苛求软件测试的模型，包括开发人员的自测试、静 态测试、单元测试、集成测试、功能测试、安全性测试，对各个阶段软件测试原 理及现行软件测试方法和测试技术进行了研究。 作为实际应用的研究，以CTCS．3级列车控制系统的车载ATP软件为例，论 文主要做了以下工作： 工具，编写测试案例对ATP软件部分模块进行测试； 2)使用TestBed工具配合人工代码走查完成了ATP软件的静态测试，并对测 试结果进行分析； 3)完成了ATP软件单元测试、集成测试案例的编写，并使用TestBed工具进 行测试，记录测试结果并分析； 41在CTCS．3级列控系统仿真测试环境中，根据功能特征设计测试案例对 ATP软件进行功能测试，记录测试结果并分析； 5)对ATP软件进行故障树分析，完成安全功能需求的提取，根据安全功能 特征编写测试案例，在仿真测试环境中进行安全性功能的测试，记录测试 结果并分析。 故障树 分类号：U284．91 ABSTRACT ABSTRACT．Wi也也e of so脚areutihzedin rapiddeVelopment sCi吼ce，me com叫er rail仃aIlsit amoreaIldmore role．The ofsof啊are syst锄plays importaIlt quality dct锄inesme ofrail咖lsit meso脚aref狐1t leadto dhctly quality system，aIld may disaS乜．ous sofhare is tojEindoutmoStofthe conse(1uences．Wimtesting，it posSible e仃orsin soRwareaIldreducet11eresidual workof risks．So，ellllaIlcing廿1etesting safety criticalsoRwareisconsideredtobeaRllldamentalandef．fectivewavtoensuretlle sofhare rail住ansit saf．e哆in s舛鼬． Wimt11e of in ensuret11e China，to of打ain developmenthi曲speedrailWay safety and