基于搜索的带需求表（Requirements Tables）的Simulink模型测试
Search-based Testing of Simulink Models with Requirements Tables
AI总结：
本研究提出首个支持Simulink需求表工具RT的Simulink模型黑盒SBST方法，在60组模型-RT组合中70%可生成故障揭示用例，还发现了现有工具未找到的工业巡航控制器故障用例，效率达标。
摘要：
Simulink模型的基于搜索的软件测试（SBST）有助于找到能证明系统可进入违反其某项需求状态的场景。然而，许多针对Simulink模型的SBST技术依赖于用逻辑语言表达的需求，这限制了它们在工业界的应用。为推动其落地，针对Simulink模型的SBST方法和工具需要与工程师用于指定需求的工具相集成。本研究提出了首个支持Requirements Table（RT，需求表，是Simulink Requirements Toolbox中供从业者表达软件需求的工具）的Simulink模型黑盒测试方法。\n 我们通过60组模型-RT组合（每组由一个模型和一个RT组成）评估了我们的解决方案。我们的SBST框架为70%的模型-RT组合返回了可揭示故障的测试用例。值得注意的是，它针对工业仿真器的巡航控制器的三组模型-RT组合找到了可揭示故障的测试用例，而其他此前使用的工具未能发现这些用例。我们的SBST解决方案的效率可满足实际应用需求，且与不基于RT的现有SBST工具相当。
英文摘要：
Search-based software testing (SBST) of Simulink models helps find scenarios that demonstrate that the system can reach a state that violates one of its requirements. However, many SBST techniques for Simulink models rely on requirements being expressed in logical languages, limiting their adoption in industry. To help with the adoption, SBST methods and tools for Simulink models need to be integrated with tools used by engineers to specify requirements. This work presents the first black-box testing approach for Simulink models that supports Requirements Table (RT), a tool from Simulink Requirements Toolbox used by practitioners to express software requirements. We evaluated our solution by considering 60 model-RT combinations each made by a model and an RT. Our SBST framework returned a failure-revealing test case for 70% of the model-RT combinations. Remarkably, it identified a failure-revealing test case for three model-RT combinations for a cruise controller of an industrial simulator that other previously used tools were not able to find. The efficiency of our SBST solution is acceptable for practical applications and comparable with existing SBST tools that are not based on RT.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
