Németh, Gábor Árpád2024-07-302024-07-302020-10-12Teaching Mathematics and Computer Science, Vol. 18 No. 1 (2020) , 1-171589-7389https://hdl.handle.net/2437/378502Different 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: P50application/pdfmodel-based testingtest designteachingfolyóiratcikkOpen AccessGábor Árpád Némethhttps://doi.org/10.5485/TMCS.2020.0469Teaching Mathematics and Computer Science118Teach. Math. Comp. Sci.2676-8364