基于路径优化算法的测试序列自动生成及验证

摘要：

随着中国铁路运行控制系统的高速发展,列控系统行为功能的正确性与安全性成为业内关注的焦点,本文提出一套完整的测试案例与测试序列自动化生成的方法.制定与系统CPN模型、测试序列相关的定义；利用本文提出的全路径覆盖优化算法和序列优选算法生成XML测试序列；以CTCS-3级列控系统下RBC的切换为例,自动生成测试案例与测试序列,并在RBC测试平台上进行验证.结果表明:本文提出的测试生成方法可实现测试的自动化,针对RBC切换场景生成的测试序列重复度降低了75％,完全覆盖《CTCS-3级列控系统功能需求规范》中的相关内容.

关键词：有色Petri网、全路径覆盖优化算法、序列优选算法、自动化测试

所属期刊栏目：35

分类号：TP301.1;U284.48(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2011AA010104;中央高校科研业务费专项资金2011JB2004

在线出版日期：2013-07-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：53-58