|
|||||
|
|
| CTCS2-200C列控车载设备软件测试方法研究 | |
| 引用本文： | 赵东旭,周永健,刘聪.CTCS2-200C列控车载设备软件测试方法研究[J].铁道通信信号,2019(5):6-10. |
| 作者姓名： | 赵东旭 周永健 刘聪 |
| 作者单位： | 中国铁道科学研究院集团有限公司通信信号研究所;北京华铁信息技术有限公司 |
| 基金项目： | 中国铁道科学研究院通信信号研究所.200C设备应用软件优化和安全认证研究.2016HT04 |
| 摘 要： | 简要介绍了CTCS2-200C列控车载设备和Ada语言;研究了CTCS2-200C列控车载设备的软件测试方法,采用Undertand进行软件静态测试,采用VectorCAST进行动态测试。通过使用2种自动化测试工具,提高了软件测试的效率,也为其他安全相关软件的测试提供了参考。 |
| 关 键 词： | 列控车载设备 Ada语言 软件测试 Understand工具 VectorCAST工具 |
| 本文献已被 CNKI 维普 等数据库收录！ | |