一种基于模型的形式化测试序列自动生成方法及在ETCS2.pdfVIP

第 卷第 期 铁 道 学 报 ３４ ５ Ｖｏｌ．３４ Ｎｏ．５ 　　 　　 　　 　 年 月 ２０１２ ５ ＪＯＵＲＮＡＬＯＦＴＨＥ ＣＨＩＮＡ ＲＡＩＬＷＡＹ ＳＯＣＩＥＴＹ Ｍａ ２０１２ 　　　 　 　 　 　 　 　 　 ｙ 文章编号： （ ） １００１８３６０２０１２０５００７００５ － － － 一种基于模型的形式化测试序列 自动生成方法及在ＥＴＣＳ２中的应用 － １ ２ １ 赵显琼 ， 郑 伟 ， 唐 涛 　 　 　 　 （ ， ； ， ） 北京交通大学轨道交通控制与安全国家重点实验室 北京 北京交通大学电子信息工程学院 北京 １． １０００４４ ２． １０００４４ 　 　 ： ， 。 摘 要 随着中国铁路列车运行控制系统的发展 对列控系统的研究越来越受到学术界的关注 本文提出一种 　 ， 。 基于模型的形式化测试案例和测试序列生成方法 并应用于 ＥＴＣＳ２级系统的测试中 首先提出有色 Ｐｅｔｒｉ网 － （ ） ， ； ， ， ＣＰＮ 的建模规则 保证 ＣＰＮ模型适应测试生成的要求 然后 提出一种自动化的测试生成方法 包括测试案例 。 ， ， 自动生成算法和测试序列搜索算法 为提高整个测试过程的自动化程度 实现测试生成与测试执行的无缝结合 。 ， ， 整个测试生成方法的输出是 格式文件集 最后 以 系统的车载子系统为例 运用 工具 ＸＭＬ ＥＴＣＳ２ ＣＰＮ Ｔｏｏｌｓ －