Projekte pro Jahr
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.
Originalsprache | englisch |
---|---|
Titel | Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings |
Untertitel | 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings |
Redakteure/-innen | Valentina Casola, Alessandra De Benedictis, Massimiliano Rak |
Herausgeber (Verlag) | Springer |
Seiten | 52-69 |
Seitenumfang | 18 |
Band | 12543 |
ISBN (Print) | 978-3-030-64880-0 |
DOIs | |
Publikationsstatus | Veröffentlicht - Dez. 2020 |
Veranstaltung | 32nd IFIP International Conference on Testing Software and Systems: ICTSS 2020 - Virtuell, Italien Dauer: 9 Dez. 2020 → 11 Dez. 2020 |
Publikationsreihe
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Band | 12543 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (elektronisch) | 1611-3349 |
Konferenz
Konferenz | 32nd IFIP International Conference on Testing Software and Systems |
---|---|
Kurztitel | IFIP-ICTSS 2020 |
Land/Gebiet | Italien |
Ort | Virtuell |
Zeitraum | 9/12/20 → 11/12/20 |
ASJC Scopus subject areas
- Theoretische Informatik
- Informatik (insg.)
Fields of Expertise
- Information, Communication & Computing
Projekte
- 1 Abgeschlossen
-
Verlaesslichkeit im Internet der Dinge
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
Projekt: Forschungsprojekt