一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用.pdfVIP

第 34卷第 5期 铁 道 学 报 Vo1．34 No．5 2012年 5月 JOURNALOFTHE CHINA RAILWAY SOCIETY M ay 2O12 文章编号 ：1001—8360(2012)05—0070—05 一 种基于模型的形式化测试序列 自动生成方法及在ETCS一2中的应用 赵显琼 ， 郑 伟。， 唐 涛 (1．北京交通大学 轨道交通控制与安全国家重点实验室，北京 100044；2．北京交通大学 电子信息工程学院，北京 100044) 摘 要：随着中国铁路列车运行控制系统的发展 ，对列控系统的研究越来越受到学术界的关注。本文提 出一种 基于模 型的形式化测试案例和测试序列生成方法 ，并应用于 ETCS-2级系统 的测试 中。首先提 出有色 Petri网 (CPN)的建模规则，保证 CPN模型适应测试生成的要求 ；然后 ，提出一种 自动化的测试生成方法 ，包括测试案例 自动生成算法和测试序列搜索算法 。为提高整个测试过程的 自动化程度 ，实现测试生成与测试执行的无缝结合 ， 整个测试生成方法的输 出是 XML格式文件集 。最后 ，以ETCS-2系统的车载子系统为例 ，运用 CPNTools工具 完成建模 ，实现相应的算法 ，实现测试生成过程 。结果表明，本文提出的基于 CPN 的测试方法能够在很大程度上 提高测试过程 的 自动化程度 ．并且生成的测试案例集能够覆盖 CPN模型反映的所有 ETCS-2系统需求规范信 息 。 关键词 ：ETCS一2；有色 Petri网；测试生成 ；形式化方法 中图分类号：TP301．1；U283．1 文献标志码 ：A doi：10．3969／j．issn．1001-8360．2012．O5．012 M odel_basedFormalApproach forGeneratingTestCasesand TestSequencesAutomaticallybyExampleoftheETCS一2 ZHAo Xian—qiong ， ZHENG W ei， TANG Tao (1．StateKeyLaboratoryofRailTrafficControlandSafety。BeijingJiaotongUniversity，Beijing100044，China 2．SchoolofElectronic InformationEngineering，BeijingJiaotongUniversity，Beijing100044，China) Abstract：W iththerapiddevelopmentoftheTrainControlSystem in China，theresearch ofthetraincontrol system hasdrawnmuchattentionfrom theacademia．A new typeofmodel—basedformalapproachfortestcases andsequencesgeneration isproposed in thispaperto increasethetestautomation degreebyexampleofthe ETCS一2system．Inthispaper，asetofmodelingrulesispresentedfirstlytomaketheColoredPetriNet(CPN) modelmoresuitablefortestgeneration．Then，anautomatedtestapproachisdescribedindetail，whichcom— binesanautomatictestcasegenerating algorithm and atypeofautomatictestsequencesearching algor