一种全覆盖的列控车载系统测试用例自动生成算法研究.pdfVIP

第 36卷第 8期 铁 道 学 报 Vo1．36 NO．8 2014年 8月 J0URNALOFTHECHINA RAILWAYSOCIETY August 2014 文章编号：1001—8360(2014)08—0055—08 一 种全覆盖的列控车载系统测试用例 自动生成算法研究 袁 磊 ，吕继东 ，刘 雨 ，李辰岭 ，赵伟慧 (1．北京交通大学 轨道交通控制与安全国家重点实验室，北京 100044； 2．北京交通大学 轨道交通运行控制系统国家工程研究中心，北京 100044) 摘 要：列控车载系统是保证列车行车安全的重要装备 ，是典型的安全苛求系统。测试用例生成是测试车载系 统功能的关键和基础。根据车载系统的特点，本文利用时间自动机建模工具UPPAAL，对车载系统模式转换的 规范建立 DRB-TE 自动机网络模型，并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆 盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法 ，利用实时系统测试用例 自动 生成工具CoVer生成模式转换测试用例套 ，从而实现 自动生成覆盖全部车载模式转换规范的测试用例 ，同时提 高了测试用例的生成效率和重用性 。 关键词：列控系统；基于模型的测试 ；测试准则；测试用例生成；UPPAAL；CoVer 中图分类号：U284．48 文献标志码：A doi：10．3969／j．issn．1001—8360．2014．08．010 Researeh onM odel-basedTestCaseGenerationM ethod ofOnboardSubsystem inCTCS-·3 YUAN Lei，LU Ji—dong，LIU Yu，LIChen-ling ，ZHAOWei—hui (1．StateKeyLaboratoryofRailTrafficControlandSafety，BeijingJiaotongUniversity，Beijing100044，China； 2．NationalEngineeringResearchCenterofTrainControlSystem，BeijingJiaotongUniversity，Beijing100044，China) Abstract：Asacoresubsystem inCTCS-3(ChineseTrainControlSystem Level3)，theonboardsubsystem iSa typicalsafety-criticalsystem，whichguaranteesthesafetyoftrainmovements．Thetestcasegenerationmethod isthekeyandbasictechnologyforfunctiontestingoftheonboardsubsystem．Inthispaper，thetimedautomata networkmodelwasestablishedusingtoolUPPAALanditwasdeclaredthatthenon-determiniticessenceofthe modelledtothetestcasesnotall—inclusive．Thus，anew testgenerationalgorithm wasgivenandusedtogener— atetestcasesofthefunctionsoftheonboardsubsystem basedontheObserverautomata．A completemodel transitionfunctiontestsetwasderivedwithtoolCoVerwhichwasprovedtobemoreefficientandreusable． Keywords：traincontrolsyst