CTCS-3级列控系统动态测试优化方法.pdfVIP

第31卷 ，第5期 中 国 铁 道 科 学 V01．31 No．5 2010年 9月 CHINA RAILW AY SCIENCE September，2010 文章编号：1001—4632 (2010)05—0102—06 CTCS-3级列控系统动态测试优化方法 周 哞 ，程先东”，赵洪军 ，王 帅。 (1．北京全路通信信号研究设计院，北京 100073；2．铁道部 运输局，北京 100844； 3．清华大学 信息科学与技术国家重点实验室，北京 100084；4．铁道部 c3技术攻关组，北京 1OO844) 摘 要：针对列控系统测试 ，为克服基于固定测试序列集的静态测试方法存在的问题 ，研究建立列控系统 动态测试方法。将测试序列集中的上一个测试序列的执行结果作为执行下一个测试序列的输入，从而形成测试 闭环；测试执行器执行完一个测试序列后，如果未检测出错误，则继续顺序执行下一个测试序列，如果检测出 错误，则测试执行器更新系统的测试模型，并根据新的测试模型和测试 目标集生成测试代价最小的新的测试序 列集 ，然后按照新的测试序列集继续进行测试。仿真结果表明，动态测试方法能有效提高测试效率和测试的实 际覆盖率 ，在测试过程中未给出虚假的测试判断。 关键词：列车控制系统 ；动态测试；多阶段动态优化；测试覆盖率 中图分类号：U284．482 文献标识码：A CTCS-3级列控系统 (简称 ：C3系统)安全 M = (Q， ，qo，，叫) (1) 可靠的运营是列车及旅客生命财产安全的重要保 式中： 为字母表的非空有限集合 (输入输出)； 证I1J。在创新和应用过程中的C3系统需要在设 Q为状态的非空有限集合；q。为初始状态； 为状 计、实现、工程应用各个阶段进行严格的测试，以 态转移函数， ：Q×三一Q；∞为输 出函数， ： 保证运营的可靠性和安全性。 Q× —， 。 本文以有限状态 自动机作为测试模型，以基于 1个简单的有限状态 自动机模型如图1所示。 该模型生成的输入输出序列 (-UIO序列)作为讨 图中：q，i和O分别为有限状态 自动机的状态、 论对象，分析研究 C3系统功能一致性测试方法和 状态转移过程中的输入和输 出。 传统一致性测试方法 。【]。针对现有测试方法存在 的问题，通过将上一个测试序列执行的结果作为下 一 个测试执行的反馈，形成测试执行的闭环，动态 地调整测试集，从而达到优化测试的目的，提高 C3系统的实际测试效果。 1 动态测试原理 1．1 测试模型 采用C3系统有限状态 自动机模型作为测试 C3 系统的测试模型，引入测试序列和测试集的概念 ， 图 1 有限状态 自动机模型 相关定义如下。 1．1．1 有限状态 自动机的定义 确定的有限状态 自动机具有如下性质。 依据文献 E6]，将 1个确定的有限状态 自动机 性质 1 定义为 收稿 日期：2010—07-09；修订日期 ：2010—07—09 基金项 目：国家科技支撑计划项 目 (2009BAG12A08)；铁道部科技研究开发计划项 目 (2OO9XOO3) 作者简介：周 嗥 (1972 )，男，浙江慈溪人，高级工程师。 第 5期 CTCS-3级列控系统动态测试优化方法 1O3 VeE ， ( ，￡)产生唯一的变迁 ，qEQ 果的观测与分析形成 1个闭环，其结构图如图2所 (2) 示。图中：z为当前时刻需要执行的测试序列；Y 性质 2 为被测对象的输出；X为