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

详细信息    查看全文 | 推荐本文 |

英文篇名：Study on Test Method of CTCS2-200C On-board Equipment's Software 作者：赵东旭 ; 周永健 ; 刘聪 英文作者：Zhao Dongxu;Zhou Yongjian;Liu Cong; 关键词：列控车载设备 ; Ada语言 ; 软件测试 ; Understand工具 ; VectorCAST工具 英文关键词：On-board equipment of train control system;;Ada language;;Software testing;;Understand tool;;VectorCAST tool 中文刊名：TDTH 英文刊名：Railway Signalling & Communication 机构：中国铁道科学研究院集团有限公司通信信号研究所;北京华铁信息技术有限公司; 出版日期：2019-05-17 出版单位：铁道通信信号 年：2019 期：v.55 基金：中国铁道科学研究院通信信号研究所.200C设备应用软件优化和安全认证研究.2016HT04 语种：中文; 页：TDTH201905002 页数：5 CN：05 ISSN：11-1975/U 分类号：11-15

摘要

简要介绍了CTCS2-200C列控车载设备和Ada语言;研究了CTCS2-200C列控车载设备的软件测试方法,采用Undertand进行软件静态测试,采用VectorCAST进行动态测试。通过使用2种自动化测试工具,提高了软件测试的效率,也为其他安全相关软件的测试提供了参考。
        A brief introduction is given to CTCS2-200 Ctrain control system's on-board equipment and Ada language.Then,test methods of the equipment is studied through static software testing via Undertand and dynamic software testing via VectorCAST.The combination of the two kinds of automatic testing tools can enhance the efficiency of software testing,offering reference for the testing of other security-related software.

引文

[1]赵倩,杜祥楚,田秀丽.Ada语言及其在实时指挥控制系统中的应用∥计算机及其网络的应用与发展第五届全国计算机应用联合学术会议论文集(第四册)[C].北京:电子工业出版社,1999,329-334.
    [2]陆荣国,缪万胜.假如使用Ada语言[J].航空电子技术,2002,33(4):40-43.
    [3]陈洁,李芳华.Ada语言在星载软件上的应用[J].上海航天,2002,4:46-50.
    [4]单锦辉,姜瑛,孙萍.软件测试研究进展[J].北京大学学报(自然科学版),2005,41(1):134-145.
    [5]董倩,范亚斌.论软件工程中软件测试的重要性[J].煤炭技术,2013,32(6):173-175.
    [6]周煜,周国庆,奚文骏.软件测试技术概述[J].中国测试技术,2005,31(3):56-58.