Conformance Testing in UPPAAL: A diabolic approach

E. J. Njor, F. Lorber, N. I. Schmidt, S. R. Petersen

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Abstract

Model-based mutation testing is a fault-based method in the model-based testing area of research. It has been applied to several modeling formalisms, including timed automata. We propose a model transformation termed 'diabolic completion' that allows for conformance testing directly in the UPPAAL tool. We have also developed a system to automate most of the process, which include taking a model, and performing diabolic completion, with the additions of allowing creation of mutants, conformance checking using the UPPAAL verification engine, and test case generation. We then set up a case study using a car alarm system model, which has been used several times in this area of research, and compare the efficiency with two existing tools, Ecdar 2.2 and MoMuT::TA, observing a significant speedup.

Original languageEnglish
Title of host publicationProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
Number of pages8
PublisherIEEE
Publication dateOct 2020
Pages35-42
Article number9156025
ISBN (Print)978-1-7281-1076-9
ISBN (Electronic)9781728110752
DOIs
Publication statusPublished - Oct 2020
Event13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 - Porto, Portugal
Duration: 23 Mar 202027 Mar 2020

Conference

Conference13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
Country/TerritoryPortugal
CityPorto
Period23/03/202027/03/2020

Fingerprint

Dive into the research topics of 'Conformance Testing in UPPAAL: A diabolic approach'. Together they form a unique fingerprint.

Cite this