首页> 外文会议>IEEE International Symposium on Software Reliability Engineering >Failure Models for Testing Continuous Controllers
【24h】

Failure Models for Testing Continuous Controllers

机译:测试连续控制器的故障模型

获取原文

摘要

Ranging from temperature control to safety-critical applications, continuous controllers are used in a plethora of applications becoming increasingly complex. In turn, testing continuous control systems also is more complex. Particularly, application-specific manual formal analysis or testing the complete input range becomes infeasible. We present a comprehensive failure-based testing methodology and a respective automated tool for continuous controllers. Our methodology is based on an existing automated approach, testing stability, liveness, smoothness and responsiveness in a single value-response scenario only. We performed a practitioner survey and literature review in the domain revealing the quality criteria steadiness and reliability to be vital for meaningful testing of continuous controllers. In addition, we identified 4 further scenarios including disturbance response for comprehensive testing. We contribute a library of failure models and quality criteria for the automated testing of continuous control systems more complete than in previous approaches. On the grounds of our comprehensive experiments on 9 real-world control systems, our results demonstrate our failure-based testing methodology to provide better worst cases than manual testing (effectiveness) within an adequate time frame (efficiency) for any configuration used in our experiments (reproducibility).
机译:从温度控制到对安全至关重要的应用,连续控制器用于越来越复杂的许多应用中。反过来,测试连续控制系统也更加复杂。特别是,针对特定应用的手动形式分析或测试整个输入范围变得不可行。我们提出了一种基于故障的综合测试方法以及用于连续控制器的各自的自动化工具。我们的方法基于现有的自动化方法,仅在单个价值响应场景中测试稳定性,活跃性,平滑性和响应性。我们在该领域进行了从业人员调查和文献回顾,揭示了质量标准的稳定性和可靠性对于连续控制器的有意义的测试至关重要。此外,我们还确定了4种其他方案,包括用于综合测试的干扰响应。我们提供了一个故障模型库和质量标准库,用于比以前的方法更完整的连续控制系统的自动化测试。基于我们在9个实际控制系统上进行的全面实验,我们的结果证明了基于故障的测试方法可在适当的时间范围内(效率)提供比手动测试(有效性)更好的最坏情况,以用于我们在实验中使用的任何配置(可重复性)。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号