| 基于模型的CTCS-3级列控系统测试案例自动生成方法 |
| |
| 引用本文： | 吕继东,朱晓琳,李开成,唐涛,王海峰.基于模型的CTCS-3级列控系统测试案例自动生成方法[J].西南交通大学学报,2015,28(5):917-927. |
| |
| 作者姓名： | 吕继东 朱晓琳 李开成 唐涛 王海峰 |
| |
| 基金项目： | 国家973计划项目(2014CB340700)国家自然科学基金资助项目(61304185)中央高校基本科研业务费专项资金资助项目(2014JBM022) |
| |
| 摘 要： | 为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process, HCSP)形式化模型和时间自动机(timed automaton, TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center, RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%.
|
| 关 键 词： | 形式化模型 列控系统 HCSP TA 测试案例自动生成 测试套 |
| 收稿时间： | 2014-03-03 |
Model-Based Test Case Automatic Generation of CTCS-3 Train Control System |
| |
| LÜ,Jidong,ZHU Xiaolin,LI Kaicheng,TANG Tao,WANG Haifeng.Model-Based Test Case Automatic Generation of CTCS-3 Train Control System[J].Journal of Southwest Jiaotong University,2015,28(5):917-927. |
| |
| Authors: | LÜ Jidong ZHU Xiaolin LI Kaicheng TANG Tao WANG Haifeng |
| |
| Abstract: | In order to improve the test case generation efficiency of the CTCS-3 train control system, a test case automatic generation method is proposed based on formal models of hybrid communication sequential process (HCSP) and timed automata. Then, timing models for operation scenarios in the train control system are built to verify its real-time function. Based on the timing models, test case automatic generation algorithms are designed for three domain independent coverage criteria, including all location, all edge and definition-use pair in the train control system. Taking the typical radio block center (RBC) handover scenario as an example, 100% function coverage test suites with all-location, all-edge and definition-use pair test coverage criteria are automatically derived. In addition, the efficiency of the test case generation method is analyzed from the aspects of test suite number, time consumption, and memory cost. The results show that among the three 100% function coverage test suites, the user-defined pair test criterion consumes a minimum time of 0.2 s and a minimum memory of 9.4 blocks, and the proposed method can enhance the test case generation efficiency by a maximum of 30% in the train control system. |
| |
| Keywords: | |
|
| 点击此处可从《西南交通大学学报》浏览原始摘要信息 |
|
点击此处可从《西南交通大学学报》下载全文 |
|
