Projects per year
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 ∗ 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.
Original language | English |
---|---|
Title of host publication | Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings |
Subtitle of host publication | 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings |
Editors | Valentina Casola, Alessandra De Benedictis, Massimiliano Rak |
Publisher | Springer |
Pages | 52-69 |
Number of pages | 18 |
Volume | 12543 |
ISBN (Print) | 978-3-030-64880-0 |
DOIs | |
Publication status | Published - Dec 2020 |
Event | 32nd IFIP International Conference on Testing Software and Systems: ICTSS 2020 - Virtuell, Italy Duration: 9 Dec 2020 → 11 Dec 2020 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12543 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 32nd IFIP International Conference on Testing Software and Systems |
---|---|
Abbreviated title | IFIP-ICTSS 2020 |
Country/Territory | Italy |
City | Virtuell |
Period | 9/12/20 → 11/12/20 |
Keywords
- Active automata learning
- Model inference
- Non-deterministic finite state machines
- MQTT
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)
Fields of Expertise
- Information, Communication & Computing
Projects
- 1 Finished
-
Dependable Internet of Things
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project