铁道部科技研究开发计划(2009X002-A)
- 作品数：3 被引量：22H指数：3
- 相关作者：陈邦兴潘建勇靳庆庆岑博文万勇兵更多>>
- 相关机构：同济大学铁路产品质量监督检验中心上海工程技术大学更多>>
- 发文基金：铁道部科技研究开发计划国家自然科学基金国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- 基于场景的测试用例设计方法研究被引量：11
- 2011年
- 传统的场景法是确定测试用例的重要方法,然而为了取消多余或等效的测试用例,需要在确定了所有测试用例之后对测试用例进行复审和验证,针对该问题,提出一种基于场景优化的方法,按照优化规则,对场景进行优化之后可以为更系统更有效地设计测试用例提供条件和基础。最后结合XML语言的特点对测试用例进行描述,并成功的将其应用到CTCS列控系统设备——临时限速服务器系统的安全性测试中,证明了该方法的有效性。
- 潘建勇陈邦兴
- 关键词：测试用例安全性测试
- 高速铁路列控中心软件安全性需求形式化建模被引量：4
- 2013年
- 列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法。根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述。通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性。
- 喻钢刘晓文熊静徐中伟杜军威
- 关键词：高速铁路列控中心安全性形式化建模安全性需求
- 列控系统临时限速服务器仿真测试平台研究被引量：8
- 2012年
- 为了更有效地对高速铁路列控系统中的设备在投入使用前进行严格的测试。以CTCS-3列控系统中的核心设备之一临时限速服务器作为测试对象,提出了一种软件仿真测试平台的实现方法,分析了临时限速服务器与外部系统的关系,在此基础上建立了测试平台的体系结构,并介绍了仿真环境模块、测试工具模块的设计过程、测试平台搭建方法和平台仿真测试过程。通过仿真测试结果表明,该平台提高了测试效率和灵活性,降低了测试成本。
- 岑博文陈邦兴万勇兵靳庆庆
- 关键词：CTCS-3仿真软件测试仿真测试平台
