首页> 外文会议>International Conference on Computer Safety, Reliability, and Security >A Hybrid Testing Methodology for Railway Control Systems
【24h】

A Hybrid Testing Methodology for Railway Control Systems

机译:铁路控制系统的混合测测试方法

获取原文

摘要

International standards for V&V processes prescribe systematic testing as a fundamental step of safety-critical systems life-cycle, in order to prove the fulfilment of their requirements. However, proposed approaches are quite general and, for complex systems, imply an excessive number of test-cases to ensure the correctness of system behaviour in any operating scenarios, including unexpected ones. A more detailed methodology is needed to extensively test all the aspects of a complex system, while keeping the number of test-cases below a reasonable threshold. This paper describes the ASF hybrid testing methodology, combining black-box and white-box techniques, based on the identification and reduction of influence variables. Such an approach was successfully applied to validate ASF implementation of the SCMT system (an Italian Automatic Train Control specification), showing its time effectiveness and full achieved coverage. The same methodology, with the related customization, is now being improved in order to test the new ERTMS/ETCS systems.
机译:V&V Process的国际标准规定了系统测试作为安全关键系统生命周期的基本步骤,以证明其要求的实现。然而,提出的方法是相当一般的,对于复杂的系统,暗示过度的测试用例,以确保在任何操作场景中的系统行为的正确性,包括意外的方案。需要更详细的方法来广泛测试复杂系统的所有方面,同时将测试用例的数量保持在合理的阈值以下。本文介绍了ASF混合检测方法,基于识别和减少影响变量的黑匣子和白盒技术。这种方法已成功应用于验证SCMT系统的ASF实施(意大利自动列车控制规范),显示其时间效率和完全实现的覆盖范围。现在正在提高相关定制的方法,以便测试新的ERTM / etcs系统。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号