基于模型的ctcs-3列控系统互联互通测试自动分析方法分析-(5698)

《基于模型的ctcs-3列控系统互联互通测试自动分析方法分析-(5698)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、万方数据一一垒璺璺!!坠g!—————————————————————————————————————————————————————————————————一一ABSTRACTABSTRACT：InordertoensuretheoperationalCROSS-linecapabilityoftraincontrollingsystem，theMinistryofRailwaysorganizesinteroperabilitywork·Interoperabilitytestingisthepremiseand

2、foundationofinteroperabilityworkwhichisachjevedbvCTCS．3Chjnatraincontrolsystem．RailwaysMinistryandC3researchgroupanalyzedinteroperabilitytestingresults，identifiedthefactoriⅢ1uencedinteroperability，discussedsolutionstoachieveinteroperabilityofdevicesfromdifferen

3、tvendors．Wecanseethatitisimportanttoensuretheaccuracyofinterconnectiontestlngresults．Thereareseveralissuesforthecurrentinteroperabilitytestingtrmncontrolsystem’1、Thefunctionsanddevicesoftraincontrolsystemarecomplicated．ThisrequiresnotoIllvthedevicestobeupgraded

4、，butalsotheworkersexcellentprofessionalskills-2)T11evol眦eoftestrecorddataishugeandthedatastructureiscomplicated·Artiflclalanalvsiswillresultinpoorperformance．3)TheinaccuratetestresultcausedbYne91igenceofthetester．Ininteroperabilitytests，on-boardequipmentandgrou

5、ndequipmentaretestedseparately．Thisthesisinteroperabilitytestingtosolvetheissuesstudiesallautomaticanalysismethodforstatedabovethroughtheinteroperabilitytestingcaseoperatedbythirdpartyon。boardlabs‘Theinteroperabilitytestingconcernisthedatainteractionbetween铲oun

6、dandvehicles．Thisthesisfocusesonthecommunicationbetweenon-boarddeviceandRBCwirelessmessageandanalyzesthetestingresults．ThecommunicationbetweenVemcIeandgroundcallbeseenasstatetransitionofthesystem．Wegotthedataaccordlngtotestingresults．Therefore，thisthesisstarted

7、fromthetestsequence，setupacompleteon．boardequipmeritmodelbasedontestingsequences．Inthisthesis，weadoptedtlmeautomaticmachinemodelandaddedeachstateandstatemigrationsimatlonIntotheestablishedmodel．Intheactualtestingexecutionpathinthemodel．process，theremustbeamatch

8、edaccesspathforSowecanfindthispaththoughstatereachableanalysismetll。d，analyzethestatepcIintandstatemigrationinformationt。find。utt11ereasontocausethesystemfailureduringthetes