Automata Learning for Automated Test Generation of Real Time Localization Systems

2021/05/21 by Plambeck, Swantje, Schyga, Jakob, Hinckeldeyn, Johannes +2
#93C06 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #I.6.4 #I.6.5

paper · doi:10.48550/arxiv.2105.11911

Abstract

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.

Related

• Learning a Behavior Model of Hybrid Systems Through Combining\n Model-Based Testing and Machine Learning (Full Version)
• Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
• Test Case Generation and Test Oracle Support for Testing CPSs using Hybrid Models
• Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
• Adaptive Testing for Specification Coverage