用于反应系统测试的测试用例链（扩展版）
Chaining Test Cases for Reactive System Testing (extended version)
AI总结：
本文提出一种发现测试用例链的方法，以减少测试执行时间，适用于基于安全属性的测试目标。
摘要：
对同步反应系统进行测试具有挑战性，因为通常需要长输入序列才能驱动系统进入可测试状态。在目标环境测试中，重置时间较高。本文提出一种发现测试用例链的方法——一个软件执行，覆盖一组测试目标并最小化总体测试执行时间。我们的技术针对测试目标作为安全属性的场景。我们给出了单个测试用例链存在和最小化的条件，并在单个测试用例链不可行时最小化测试链数量。我们使用原型工具对C代码（来自Simulink模型生成）进行了实验，并将其与最先进的测试套件生成器进行了比较。
英文摘要：
Testing of synchronous reactive systems is challenging because long input sequences are often needed to drive them into a state at which a desired feature can be tested. This is particularly problematic in on-target testing, where a system is tested in its real-life application environment and the time required for resetting is high. This paper presents an approach to discovering a test case chain---a single software execution that covers a group of test goals and minimises overall test execution time. Our technique targets the scenario in which test goals for the requirements are given as safety properties. We give conditions for the existence and minimality of a single test case chain and minimise the number of test chains if a single test chain is infeasible. We report experimental results with a prototype tool for C code generated from Simulink models and compare it to state-of-the-art test suite generators.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
