探索ctcs-3级列控系统测试案例优化生成方法研究

《探索ctcs-3级列控系统测试案例优化生成方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、北京交通大学硕士学位论文CTCS-3级列控系统测试案例优化生成方法研究姓名：王倩倩申请学位级别：硕士专业：交通信息工程及控制指导教师：张勇201012中文摘要摘要：为满足客运专线和高速铁路快速发展的需求，我国开展了对CTCS-3级列控系统的技术攻关，以实现CTCS．3级列控系统关键技术的国产化和系统集成创新，并保证在运营组织上满足动车组跨线运行的要求、在系统装备上满足不同厂商设备互联互通的要求。在这样的背景下，如何对CTCS．3级列控系统进行全面的功能测试是一个急需解决的问题。而测试案例作为列控系统测试的基础，对其生成方法进行研究就变得非常重要。论文根据UML建模语言和CTCS一3

2、列控系统测试案例的特点，提出了测试案例优化生成方法。首先，在分析UML建模机制的基础上提出将UML建模技术应用于CTCS一3级列控系统测试案例的生成中，在不改变现有的测试案例生成思路的基础上引入UML建模技术来优化测试案例的生成。测试案例的生成分为两步，第一步是从《CTCS一3级列控系统系统需求规范(SRS)》中提取出功能特征，第二步是针对每一个功能特征，结合对列车运行流程的建模来生成测试案例。其次，论文提出基于UML状态图自动生成测试案例的方法，其主要思路是在满足测试覆盖标准的前提下，将对状态图的操作转化为图论中HamiIton圈、EuIei回路及顶点的度的求解，采用相应的算法对

3、状态图进行遍历，从而生成测试案例。最后，对基于状态图生成测试案例的方法进行了具体实现，其过程是通过解析UML状态图的MDL文件获取状态图的相关信息，并将这些信息存储在图的邻接表结构中，然后通过对图进行遍历生成测试案例，并使生成的测试案例满足迁移对覆盖准则。论文提出的将UML建模技术应用于CTCS-3级测试案例的生成，并基于状态图自动生成测试案例的方法，减少了人工参与，提高了测试案例生成的智能程度，并为实现自动测试奠定了基础。关键词：CTCS一3；列控系统；测试案例；UML；状态图；图论；测试覆盖准则分类号：U284．91ABSTRACTABSTRACT：1’0meett11edem

4、andforrapiddeVelopmentofdedicatedpaSsengerlines锄dlli曲-speedrajlways，tlleresearchonCTCS-3h嬲beenstanediIlordert0∞llievetllelocalizationofkeytecllllolog)，i彻oVation锄dsystem缸e刚ionofCTCS一3觞weUausensuret11erequirementSof∞ross—line—operationaIldinteroperabili够锄ongequipment．Soitisof伊eatimportancet0c哪7o

5、utacomprehensiVe劬ctionalteStingofCTCS一3．Atthe湖etime，tIleresearchont11egenerationofteStcases，wllichistllebaLsisfortlletestingof位曲comrolsyStem，becomespanicularlyiIIlportallt．IIlmismesis，tllememodforoptimizingtllegenerationofteStc嬲esw硒proposed．FirStly'itwausproposedthatUMLmodelingtec}miquecanbe印p

6、liedinthegenerationofCTCS-3teStc舔es0nthebaSisofallaJyzingUMLmodelillgmech砌sm，byuSiIlgUMLt00ptimizetllegenerationoftestc鹤es、vitlloutch锄gingtllegeneratingideaoftestcases．ThegenerationofteStc嬲esisdiVidedint0twoSt印s，、Ⅳitllmefirststept0ext豫ct^mctionalfeaturesf}omCTCS-3SyStemRequirementSpecification

7、(SRS)，鲫dtlleseCondt0generateteStc觞esforeachmnctionalfean鹏incombination晰thmodelingof仃ajnope豫tionprocess．Secondly'itw弱proposednlatautomaticgenerationofteStc雒esb够ed∞UMLstatechaJtdia舒amc肌berealized．Undertllepremi鸵ofmeetingtestcovemgecriteri