文献类型：期刊文章

作　　者：袁磊[1] 吕继东[2] 刘雨[2] 李辰岭[1] 赵伟慧[1]

机构地区：[1]北京交通大学轨道交通控制与安全国家重点实验室,北京100044 [2]北京交通大学轨道交通运行控制系统国家工程研究中心,北京100044

出　　处：《铁道学报》

基　　金：轨道交通控制与安全国家重点实验室自主研究课题(RCS2014ZT06)

年　　份：2014

卷　　号：36

期　　号：8

起止页码：55-62

语　　种：中文

收录情况：AJ、BDHX、BDHX2011、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、EI(收录号：20143700064213)、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法,利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套,从而实现自动生成覆盖全部车载模式转换规范的测试用例,同时提高了测试用例的生成效率和重用性。

关 键 词：列控系统 基于模型的测试  测试准则  测试用例生成 UPPAAL COVER

分 类 号：U284.48]