Learning Abstracted Non-deterministic Finite State Machines - Testing Software and Systems
Conference Papers Year : 2020

Learning Abstracted Non-deterministic Finite State Machines

Andrea Pferscher
  • Function : Author
  • PersonId : 1100076
Bernhard K. Aichernig
  • Function : Author
  • PersonId : 869582

Abstract

Active automata learning gains increasing interest since it gives an insight into the behavior of a black-box system. A crucial drawback of the frequently used learning algorithms based on Angluin’s $$L^*$$L∗ is that they become impractical if systems with a large input/output alphabet are learned. Previous work suggested to circumvent this problem by abstracting the input alphabet and the observed outputs. However, abstraction could introduce non-deterministic behavior. Already existing active automata learning algorithms for observable non-deterministic systems learn larger models if outputs are only observable after certain input/output sequences. In this paper, we introduce an abstraction scheme that merges akin states. Hence, we learn a more generic behavioral model of a black-box system. Furthermore, we evaluate our algorithm in a practical case study. In this case study, we learn the behavior of five different Message Queuing Telemetry Transport (mqtt) brokers interacting with multiple clients.
Fichier principal
Vignette du fichier
497758_1_En_4_Chapter.pdf (380.31 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03239824 , version 1 (27-05-2021)

Licence

Identifiers

Cite

Andrea Pferscher, Bernhard K. Aichernig. Learning Abstracted Non-deterministic Finite State Machines. 32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.52-69, ⟨10.1007/978-3-030-64881-7_4⟩. ⟨hal-03239824⟩
83 View
241 Download

Altmetric

Share

More