Projekte pro Jahr
Abstract
This paper presents a learning-based approach to detecting failures in reactive systems. The technique is based on inferring models of multiple implementations of a common specification which are pair-wise cross-checked for equivalence. Any counterexample to equivalence is flagged as suspicious and has to be analysed manually. Hence, it is possible to find possible failures in a semi-automatic way without prior modelling. We show that the approach is effective by means of a case study. For this case study, we carried out experiments in which we learned models of five implementations of MQTT brokers/servers, a protocol used in the Internet of Things. Examining these models, we found several violations of the MQTT specification. All but one of the considered implementations showed faulty behaviour. In the analysis, we discuss effectiveness and also issues we faced.
Originalsprache | englisch |
---|---|
Titel | 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) |
Seiten | 276-287 |
Seitenumfang | 12 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2017 |
Veranstaltung | 10th IEEE International Conference on Software Testing, Verification and Validation: ICST 2017 - Tokyo, Japan Dauer: 13 März 2017 → 17 März 2017 http://aster.or.jp/conference/icst2017/ |
Konferenz
Konferenz | 10th IEEE International Conference on Software Testing, Verification and Validation |
---|---|
Kurztitel | ICST 2017 |
Land/Gebiet | Japan |
Ort | Tokyo |
Zeitraum | 13/03/17 → 17/03/17 |
Internetadresse |
Fields of Expertise
- Information, Communication & Computing
Fingerprint
Untersuchen Sie die Forschungsthemen von „Model-Based Testing IoT Communication via Active Automata Learning“. Zusammen bilden sie einen einzigartigen Fingerprint.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