用于实时定位系统自动测试用例生成的自动机学习
形式语言与自动机理论
2021-05-26 v1
摘要
信息物理系统（CPSs）通常是没有精确模型的黑箱系统。自动机学习允许构建CPSs的抽象模型，并用于多种场景，即仿真、监控与测试用例生成。实时定位系统（RTLSs）是一类尤其复杂且常具安全关键性的CPSs示例。我们提出一种利用自动机学习进行自动测试用例生成的流程，并将该方法应用于一个定位系统的案例研究中。
引用
@article{arxiv.2105.11911,
title = {Automata Learning for Automated Test Generation of Real Time Localization Systems},
author = {Swantje Plambeck and Jakob Schyga and Johannes Hinckeldeyn and Jochen Kreutzfeldt and Görschwin Fey},
journal= {arXiv preprint arXiv:2105.11911},
year = {2021}
}
备注
4 pages, 2 figures, included in the proceedings of the LEAC 2021 workshop