铁道学报
鐵道學報
철도학보
2012年
5期
70-80
,共11页
ETCS-2%有色Petri网%测试生成%形式化方法
ETCS-2%有色Petri網%測試生成%形式化方法
ETCS-2%유색Petri망%측시생성%형식화방법
随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注.本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中.首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生成的要求;然后,提出一种自动化的测试生成方法,包括测试案例自动生成算法和测试序列搜索算法.为提高整个测试过程的自动化程度,实现测试生成与测试执行的无缝结合,整个测试生成方法的输出是XML格式文件集.最后,以ETCS-2系统的车载子系统为例,运用CPN Tools工具完成建模,实现相应的算法,实现测试生成过程.结果表明,本文提出的基于CPN的测试方法能够在很大程度上提高测试过程的自动化程度,并且生成的测试案例集能够覆盖CPN模型反映的所有ETCS-2系统需求规范信息.
隨著中國鐵路列車運行控製繫統的髮展,對列控繫統的研究越來越受到學術界的關註.本文提齣一種基于模型的形式化測試案例和測試序列生成方法,併應用于ETCS-2級繫統的測試中.首先提齣有色Petri網(CPN)的建模規則,保證CPN模型適應測試生成的要求;然後,提齣一種自動化的測試生成方法,包括測試案例自動生成算法和測試序列搜索算法.為提高整箇測試過程的自動化程度,實現測試生成與測試執行的無縫結閤,整箇測試生成方法的輸齣是XML格式文件集.最後,以ETCS-2繫統的車載子繫統為例,運用CPN Tools工具完成建模,實現相應的算法,實現測試生成過程.結果錶明,本文提齣的基于CPN的測試方法能夠在很大程度上提高測試過程的自動化程度,併且生成的測試案例集能夠覆蓋CPN模型反映的所有ETCS-2繫統需求規範信息.
수착중국철로열차운행공제계통적발전,대렬공계통적연구월래월수도학술계적관주.본문제출일충기우모형적형식화측시안례화측시서렬생성방법,병응용우ETCS-2급계통적측시중.수선제출유색Petri망(CPN)적건모규칙,보증CPN모형괄응측시생성적요구;연후,제출일충자동화적측시생성방법,포괄측시안례자동생성산법화측시서렬수색산법.위제고정개측시과정적자동화정도,실현측시생성여측시집행적무봉결합,정개측시생성방법적수출시XML격식문건집.최후,이ETCS-2계통적차재자계통위례,운용CPN Tools공구완성건모,실현상응적산법,실현측시생성과정.결과표명,본문제출적기우CPN적측시방법능구재흔대정도상제고측시과정적자동화정도,병차생성적측시안례집능구복개CPN모형반영적소유ETCS-2계통수구규범신식.