论文部分内容阅读
简要介绍了CTCS2-200C列控车载设备和Ada语言;研究了CTCS2-200C列控车载设备的软件测试方法,采用Undertand进行软件静态测试,采用VectorCAST进行动态测试。通过使用2种自动化测试工具,提高了软件测试的效率,也为其他安全相关软件的测试提供了参考。
CTCS2-200C列控车载设备软件测试方法研究
【摘 要】
：
简要介绍了CTCS2-200C列控车载设备和Ada语言;研究了CTCS2-200C列控车载设备的软件测试方法,采用Undertand进行软件静态测试,采用VectorCAST进行动态测试。通过使用2种自动化测试工具,提高了软件测试的效率,也为其他安全相关软件的测试提供了参考。
【机 构】
：
中国铁道科学研究院集团有限公司通信信号研究所,北京华铁信息技术有限公司
【出 处】
：
铁道通信信号
【发表日期】
：
2019年05期
【基金项目】
：
中国铁道科学研究院通信信号研究所,200C设备应用软件优化和安全认证研究,2016HT04.
其他文献
随着我国经济的蓬勃发展,以国有企业为主体多种经济成分共存的制度是我国经济的战略目标。在企业中财务预算管理具有不同于其他工作的意义,因为企业财务预算管理涉及了管理学
目的评价β受体阻滞剂干预对非瓣膜性房颤患者内皮和血小板功能的临床疗效和安全性。方法回顾性分析我院心内科2004年5月～2010年2月收治的228例非瓣膜性房颤患者的临床资料。
为满足实际应用中对于安全高效代理盲签名的需要,基于双线性对映射提出了一个新的无证书代理盲签名方案。方案中对相关参数进行预先计算,并作为系统公开参数发布,签名生成过
为保证机床加工时的切削稳定性,获得准确的稳定性叶瓣图(切削速度–切削深度关系图),需要得到机床刀具刀尖点的频率响应函数(FRF)。刀尖在加工时处于旋转状态,无法通过粘贴式
中药汤剂的口感问题是中医发展的瓶颈之一。没有合适的掩味,会影响医生对苦味药的选择应用与患者的服药依从性,影响最终临床疗效。借助现代科技,寻求合适的中药汤液掩味剂势
以杭衢铁路引入既有杭长高速铁路江山站杭长场为例,对新建铁路引入既有高铁车站因受站场轨道等限制,既有到发线股道有效长缩短,不满足信号相关规范要求等问题.结合具体站型以