《CTCS-3级测试案例完备性的自动验证.doc》由会员分享，可在线阅读，更多相关《CTCS-3级测试案例完备性的自动验证.doc（6页珍藏版）》请在三一文库上搜索。
1、北京交通大学硕士学位论文目录目录播嬰VABSTRACTVII1引盲11.1 CTCS-3级列车运行控制系统112研兗背景及意义 11.3 tfl关研究现状214论文主要工作52CTCS3级测试案例完备性验证的关问題分析72.1 CTCS-3级列控系统测试简介72.1.1 CTCS-3级列控系统测试过程概述72.1.2 CTCS-3级列控系统测试案例 82.2需求跟踪关系建立问題的转化132.3 CTCS-3级関试案例完备性验证关谯问题的确定142.4本章小结153基于EVENT-B和因果图法的测试案傅完备性脸证173.1 CTCS-3级测试案例的完备性验证方法设计173.1.1 EVENT-B
2、 方法及 RODIN 平台173.1.2因果图法 233.1.3基于EVENT-B和因果图法的测试案例完务性骑证方法设计273.2基T EVENT-B的SRS建模及验证 293.3从EVENT-B模型到因果图的模型转换 373.3.1 EVENT模型和因果图模型的对应关系分析373.3.2 EVENT-B模型的改写规则设讼383.3.3从EVENT-B模型到因果图的映射规则设11403.4基于改进遍历式回滋算法的SRS判定表生成 433.5测试案例的因果图建模及判定表生成 443.6测试案例完备性衡崑依据的确定 473.6.1基于SRS判定表的测试充分性准则473.6.2基于SRS判定表的覆盖
3、域生成 493.7测试案例完备性对比验证的流程设计 503.8本章小结 524CTCM级测试案例完备性自动验证工具的设计与实现554.1 CTCS-3级测试案例完备性自动骏证工具的功能需求分析 554.2 CTCS-3级测试案例完备性自动验证工具的总体设计554.3模樂转换模块的设计与实现 584.4因果图建立模块的设计与实现 634.5判定表生成模块的设计与实现 674.6完备性对比骗证模块的设计与实现724.7木章小结 745实例验证775.1待机模式下模式转换功能测试案例的完备性验证775.1.1待机模式下模式转换功能简介775.1.2待机模式下模式转换功能SRS的EVENT-B建模及验
4、证785.1.3待机模式下模式转换功能EVENT-B模型的转换及判定衰生成815.1.4待机模式下模式转换功能测试案例的因果图建模及判定表生成865.1.5待机模式下揍式转换功能测试案例的完备性验证结果 885.2 RBC切换功能测试案例的宪筝性验证905.2.1 RBC切换功能简介 905.2.2 RBC切换功能SRS金J EVENT-B建模及验证925.2.3 RBC切换功施EVENT-B模型的转换及判定表生成955.2.4 RBC切换功能测试案例的因果图建模及判定表生成995.2.5 RBC切换功能测试案例的完备性验证结果101S.3本章小结1036结论与展望1056.1 结论 1056
5、.2 展望105妙考文献107图索引111表索引113作者简历及攻读硕士学位期间取得的研完成果115北京交通大学硕士学位论文目录独创性声明117学位论文数据集119XI北京交通大学硕士学位论文引言1引言1.1 CTCS-3级列车运行控制系统铁路系统作为现代运输体系的重要组成部分，对于国民经济和社会民生的发 展一直起看至关重要的作用。近年来，伴随着中国经济的高速帘长，我国的铁路 事业同样迎来了大发展时期。为了进一步提高铁路系统的运输能力，铁路部门先 后进行了六次大提速，武广、京沪、郑西等高速运营线路也相继建成、开通.列车运行控制系统作为铁路系统的中枢神经，是保障列乍运营安全、提高运 输效率的关键
6、，同时也是衡冕一个国家铁路发展水平的重要标志。列车运营速度 的不断提高、同时行驶列车数量的不断增加以及列车追踪间隔的不断减小，对于 列车运行的安全性、可靠性提岀了更髙的要求。为了适应铁路系统的发展需要， 铁路部门制定了适合我国国情的中国列车运行控制系统(Chinese Train Control System, CTCS)的相关规范。在CTCS系统技术规范中，为了适应不同的运输需 求及运营场景，CTCS共分为从CTCS-0至CTCS-4五个等级。其中，CTCS-3级 列控系统满足运营速度300km/h、最小追踪间隔3分钟等相关技术要求，己经由 我国铁路部门确定作为300knVh及以上客运专线的
7、全路统一技术平台，并且得到 了广泛的实际应用.CTCS-3级列控系统主要可以分为地面子系统和车我子系统两部分。其中，地 面子系统主要包括轨道电路、应答器、无线闭塞中心(Radio Block Center, RBC) 等，而车载子系统主要包括铁路综合数字移动通信系统(GSM for Railway, GSMR)、车载主机、应答器接收模块等卩叭在系统运行的过程中，通过基于GSM-R 的无线通信实现车地之间高安全、高可靠的双向数据传输，通过在线路上铺设的 地面应答器进行列车定位并确定列车的行驶方向，利用轨道电路确定列车的完整 性和轨道占用情况，由RBC根据闭塞信息、进珞信息等生成行车许可(Movement Authority, MA),并通过无线通信网络向车载设备发送，车载设备根据线路参数、 临时限速以及接收到的MA等信息，生成目标距离连续速度控制模式曲线，实现 对列车运行的控制，保证系统的安全性.1.2研究背景及意义CTCS-3级列控系统作为确保高速铁路安全、高效运营的基础，具有极其严格