Skip to content

Automation of the Creation and Execution of System Level Hardware-in-Loop Tests through Model-Based Testing in A-TEST

Automation of the Creation and Execution of System Level Hardware-in-Loop Tests through Model-Based Testing
Viktor Aronsson Karlsson, Ahmed Almasri, Eduard Paul Enoiu, Wasif Afzal, Peter Charbachi
In The 13th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST’22)
Abstract:
In this paper, we apply model-based testing (MBT) to automate the creation of hardware-in-loop (HIL) test cases. In order to select MBT tools, different tools’ properties were compared to each other through a literature study, with the result of selecting GraphWalker and MoMuT tools to be used in an industrial case study. The results show that the generated test cases perform similarly to their manual counterparts regarding how the test cases achieved full require- ments coverage. When comparing the effort needed for applying the methods, a comparable effort is required for creating the first iteration, while with every subsequent update, MBT will require less effort compared to the manual process. Both methods achieve 100% requirements coverage, and since manual tests are created and executed by humans, some requirements are favoured over others due to company demands, while MBT tests are generated randomly. In addition, a comparison between the used tools showcased the differences in the models’ design and their test case generation. The comparison showed that GraphWalker has a more straightforward design method and is better suited for smaller systems, while Mo- MuT can handle more complex systems but has a more involved design method.
Full Text:

Bibtex:

@inproceedings{Karlsson6555,
author = {Viktor Aronsson Karlsson and Ahmed Almasri and Eduard Paul Enoiu and Wasif Afzal and Peter Charbachi},
title = {Automation of the Creation and Execution of System Level Hardware-in-Loop Tests through Model-Based Testing},
month = {November},
year = {2022},
booktitle = {The 13th Workshop on Automating Test Case Design, Selection and Evaluation},
url = {http://www.es.mdu.se/publications/6555-}
}