Simulation-based software testing supports engineers in finding faults in Simulink ^® models. It typically relies on search algorithms that iteratively generate test inputs used to exercise models in simulation to detect design errors. While simulation-based software testing techniques are effective in many practical scenarios, they are typically not fully integrated within the Simulink environment and require additional manual effort. Many techniques require engineers to specify requirements using logical languages that are neither intuitive nor fully supported by Simulink, thereby limiting their adoption in industry. This work presents HECATE , a testing approach for Simulink models using Test Sequence and Test Assessment blocks from Simulink ^® Test ^™ . Unlike existing testing techniques, HECATE uses information from Simulink models to guide the search-based exploration. Specifically, HECATE relies on information provided by the Test Sequence and Test Assessment blocks to guide the search procedure. Across a benchmark of $18$ Simulink models from different domains and industries, our comparison of HECATE with the state-of-the-art testing tool S-Taliro indicates that HECATE is both more effective (more failure-revealing test cases) and efficient (less iterations and computational time) than S-Taliro for $\approx$ 94% and $\approx$ 83% of benchmark models respectively. Furthermore, HECATE successfully generated a failure-revealing test case for a representative case study from the automotive domain demonstrating its practical usefulness.

中文翻译：

---

使用测试序列和测试评估块对 Simulink 模型进行基于仿真的测试

基于仿真的软件测试可帮助工程师查找 Simulink ^®模型中的故障。它通常依赖于迭代生成测试输入的搜索算法，用于在仿真中运用模型来检测设计错误。虽然基于仿真的软件测试技术在许多实际场景中都很有效，但它们通常没有完全集成到 Simulink 环境中，并且需要额外的手动工作。许多技术要求工程师使用逻辑语言来指定需求，而这些逻辑语言既不直观也不完全受 Simulink 支持，从而限制了它们在行业中的采用。这项工作提出了HECATE ，这是一种使用 Simulink® Test™ 的测试序列和测试评估模块来测试 Simulink ^模型的 ^方法 。与现有的测试技术不同，HECATE使用 Simulink 模型中的信息来指导基于搜索的探索。具体来说，HECATE依赖于测试序列和测试评估块提供的信息来指导搜索过程。跨越基准$18$来自不同领域和行业的 Simulink 模型，我们将HECATE与最先进的测试工具S-Taliro进行比较表明，HECATE既更有效（更多揭示故障的测试用例）又高效（更少的迭代和计算时间）比S-Taliro的$\大约$ 94% 和$\大约$ 分别为基准模型的 83%。此外，HECATE成功地为汽车领域的代表性案例研究生成了一个揭示故障的测试用例，展示了其实际用途。