基于TTCN3的自动测试在CBTC中的应用研究

《基于TTCN3的自动测试在CBTC中的应用研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、北京交通大学硕士学位论文基于TTCN-3的自动测试在CBTC中的应用研究姓名：陈晓博申请学位级别：硕士专业：交通信息工程及控制指导教师：宁滨20080601ABSTRACTABSTRACT：WiththerapiddevelopmentofComputer．CommunicationandControlTechnology，theCommunicationBasedTrainControlsystem(CBTC)emergesasthetimesrequire．AndinrespectthattheCBTCsystemimprovethetrainoperatingeffi

2、ciencywiththeadvantagesofevenmoresafetyandbettermaintainability,CBTCsystemhasbecomethehottopicofresearchandconstructioninternationally．CBTCsystemisasafety—criticalsystem，withhighrequirementsofsafetyandreliability．Thusitmustbetestedcompletelybeforeuse．Traditionaltestmethodoftraincontrolsyst

3、emcan’tmeetthedemandsofhighlyefficientandcompletetest．Howereverwiththecorrespondingcomputersimulationtechnologyandtheadvancedtesttechnologywecanimplementthesystemautomatictestwhichcanimprovetheefficiencyandreducethecostofsystemtestsignificantly．Andtheautomaticgenerationoftestcaseisimportan

4、ttoautomatictestwhichCanreducethetesttime，increasethetestworker’Scapacity，andplayanirreplaceableroleinmanyareas．Otherwise，theautomaticlocationoffactorwhichleadtotesterrormaygreatlyincreacethedegreeoftestautomation．Inthisthesis，weanalysedCBTCsystemandconstructedautomatictestframeandmoduleba

5、sedonTTCN一3．andraisedthemethodoftheautomaticgenerationoftestcaseandthelocatingthefactorwhichlcadtotesterror．Tllisthesis’SprimeworkiSasfollow：1．ConstructingaCBTCsimulationtestsystem，addingthePrincipleDisplayandSimulationManagementUnittotheoringinalCBTCfacility．PrincipleDisplayandSimulationM

6、anagementUnitmakestheCBTCsystemfunctiontestmoreflexible，atthemeantimeitmakethetestprocessandresultsmorevisible．WeusetwotestmodetoCBTCsystem，controlledmodeandautonomymode．TheimplementationofitisbytheoperationofSimulationManagementUnit．2．Usingthecombinationtestmethod。weconstructthecombinatio

7、ntestmodulofCBTCsystem．Aheuristicmethodbasedonsolutionspacetreeisproposedtogeneratethetestcasewhichcoverdual．factorormulti．factorcombinationautomatically．Atthemeantime，thefactorwhichleadtothetesterrorislocated．Atlast，theheuristicalgorithmwhichgeneratetestcasec