加急见刊

CTCS2-200C列控车载设备软件测试方法研究

赵东旭; 周永健; 刘聪 中国铁道科学研究院集团有限公司通信信号研究所; 北京100081; 北京华铁信息技术有限公司; 北京100081

摘要：简要介绍了CTCS2-200C列控车载设备和Ada语言;研究了CTCS2-200C列控车载设备的软件测试方法,采用Undertand进行软件静态测试,采用VectorCAST进行动态测试。通过使用2种自动化测试工具,提高了软件测试的效率,也为其他安全相关软件的测试提供了参考。

注: 保护知识产权,如需阅读全文请联系铁道通信信号杂志社