Scholarlink

<p>Testing Cyber Physical Systems (CPS) is crucial, as they play a central role in modern society. In the complex input space of these systems, boundary test inputs provide a valuable asset for test engineers as they identify slight input modifications that dramatically impact Quality of Service. In this experience paper, we propose <span>LiftJanus</span>, the first search-based test generator for CPS that integrates test input minimization, boundary value detection, and automated system repair. We performed an empirical study involving two real-world elevator systems provided by our industrial collaborator, <span>Orona</span>. Our results proved that <span>LiftJanus</span> generated boundary inputs twice as effective as the baselines, with the repair algorithm successfully enhancing the system’s configuration in 76.25% of the cases. Interviews with domain experts confirmed that <span>LiftJanus</span> is a comprehensive solution for enhancing the quality of elevator systems.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

An industrial experience report on applying search-based boundary input generation to cyber-physical systems

  • 期刊论文

  • 发表日期：

    2025年5月17日

查看全文
  • Pablo Valle,
  • Vincenzo Riccio,
  • Aitor Arrieta,
  • Paolo Tonella,
  • Maite Arratibel

摘要

Testing Cyber Physical Systems (CPS) is crucial, as they play a central role in modern society. In the complex input space of these systems, boundary test inputs provide a valuable asset for test engineers as they identify slight input modifications that dramatically impact Quality of Service. In this experience paper, we propose LiftJanus, the first search-based test generator for CPS that integrates test input minimization, boundary value detection, and automated system repair. We performed an empirical study involving two real-world elevator systems provided by our industrial collaborator, Orona. Our results proved that LiftJanus generated boundary inputs twice as effective as the baselines, with the repair algorithm successfully enhancing the system’s configuration in 76.25% of the cases. Interviews with domain experts confirmed that LiftJanus is a comprehensive solution for enhancing the quality of elevator systems.