Cyber Physical Systems (CPSs) are often black box systems for which no exact model exists. Automata learning allows to build abstract models of CPSs and is used in several scenarios, i.e. simulation, monitoring, and test case generation. Real time localization systems (RTLSs) are an example of particularly complex and often safety critical CPSs. We present a procedure for automatic test case generation with automata learning and apply this approach in a case study to a localization system.

中文翻译：

---

实时本地化系统自动测试生成的自动机学习

网络物理系统（CPS）通常是黑匣子系统，没有确切的模型。自动学习允许建立CPS的抽象模型，并用于几种场景，例如，仿真，监视和测试用例生成。实时本地化系统（RTLS）是特别复杂且通常对安全至关重要的CPS的一个示例。我们提出了一种利用自动机学习自动生成测试用例的程序，并将这种方法在案例研究中应用于本地化系统。