Articles

Teaching model-based testing

Published:
2020-10-12
Author
View
Keywords
License

Copyright (c) 2022 Gábor Árpád Németh

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How To Cite
Selected Style: APA
Németh, G. Árpád. (2020). Teaching model-based testing. Teaching Mathematics and Computer Science, 18(1), 1-17. https://doi.org/10.5485/TMCS.2020.0469
Abstract

Different testing methodologies should play an important role in the education of informatics. In the model-based testing (MBT) approach, the specification of the system is described with a formal model. This model can be used to revise the correctness of the specification and as a starting point for automatic test generation. The main problem with MBT is however, that there is a huge gap between theory and practice and that this approach has a high learning curve. To cope with these problems, current paper shows, how the MBT approach can be introduced to students through a small scale example.

Subject Classification: P50