| 基于变异模型的CTCS-3级列控系统测试用例自动生成方法研究 |
| |
| 引用本文： | 刘晓亮,袁磊,吕继东,魏国栋,富德佶.基于变异模型的CTCS-3级列控系统测试用例自动生成方法研究[J].铁路计算机应用,2015,24(6):54-58. |
| |
| 作者姓名： | 刘晓亮 袁磊 吕继东 魏国栋 富德佶 |
| |
| 作者单位： | 1.北京交通大学 轨道交通控制与安全国家重点实验室,北京 100044; |
| |
| 基金项目： | 北京高等学校青年英才计划项目（YETP0580）; 中央高校基本科研业务费专项资金资助（2014JBM022）; 国家自然科学基金资助项目（61304185） |
| |
| 摘 要： | 本文提出一种基于变异模型的CTCS-3级列控系统测试用例自动生成方法。根据列控系统需求规范,建立它的SMV（Symbolic Model Verifier）模型,对此模型进行变异,将变异之后的模型输入到模型检验器SMV中,利用模型检验生成反例的技术,自动生成测试用例,提高了测试用例的生成效率。并以CTCS-3级列控系统的无线闭塞中心（RBC）切换场景为例,验证了该方法的有效性。
|
| 关 键 词： | 变异模型 列控系统 测试用例 模型检验 SMV |
| 收稿时间： | 2014-11-13 |
Mutation model-based generation of test cases for CTCS-3 Train Control System |
| |
| Institution: | 1.State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing 100044, China;2.National Engineering Research Center of Train Control System, Beijing Jiaotong University, Beijing 100044, China |
| |
| Abstract: | Based on mutation model of CTCS-3 Train Control System, this paper proposed a mutation model-based method to generate test cases automatically. According to the requirements specification of Train Control System, the SMV model was established and mutated. The mutated model was put into the SMV model checker. The test case was generated automatically by using the model checking methods and the efficiency of the test case generation was improved dramatically. Finally, a scenario of Radio Block Center (RBC) handover in CTCS-3 Train Control System was taken as an example, verified the effectiveness of the method. |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《铁路计算机应用》浏览原始摘要信息 |
| 点击此处可从《铁路计算机应用》下载免费的PDF全文 |
|
