Model-Based Testing IoT Communication via Active Automata Learning

被引：66

作者：

Tappler, Martin ^{[1
]}

Aichernig, Bernhard K. ^{[1
]}

Bloem, Roderick ^{[2
]}

机构：

[1] Graz Univ Technol, Inst Software Technol, Graz, Austria

[2] Graz Univ Technol, Inst Appl Informat Proc & Commun, Graz, Austria

来源：

2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST) | 2017年

关键词：

GENERATION; CHECKING;

D O I：

10.1109/ICST.2017.32

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：276 / 287

页数：12

共 49 条

[31] Howar F, 2011, LECT NOTES COMPUT SC, V6538, P263, DOI 10.1007/978-3-642-18275-4_19
[32] Hughes J, 2016, 2016 IEEE/ACM 11TH INTERNATIONAL WORKSHOP IN AUTOMATION OF SOFTWARE TEST (AST), P71, DOI [10.1145/2896921.2896928, 10.1109/AST.2016.019]
[33] Hungar H, 2003, LECT NOTES COMPUT SC, V2725, P315
[34] The TTT algorithm: A redundancy-free approach to active automata learning
[J]. 1600, Springer Verlag (8734): : 307 - 322
[35] Khalili Ali., 2014, JMLRWORKSHOP C P, P109
[36] Lin SW, 2011, LECT NOTES COMPUT SC, V6996, P463, DOI 10.1007/978-3-642-24372-1_35
[37] Mao H., 2016, MACH LEARN, P1
[38] Efficient test-based model generation for legacy reactive systems
Margaria, T
Niese, O
Raffelt, H
Steffen, B
[J]. NINTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2004, : 95 - 100
[39] Meinke K, 2011, LECT NOTES COMPUT SC, V6706, P134, DOI 10.1007/978-3-642-21768-5_11
[40] Merten M, 2012, COMM COM INF SC, V336, P248

← 1 2 3 4 5 →