Teaching model-based testing
| Autor: | Gábor Árpád Németh |
|---|---|
| Rok vydání: | 2020 |
| Předmět: | |
| Zdroj: | Teaching Mathematics and Computer Science. 18:1-17 |
| ISSN: | 2676-8364 1589-7389 |
| DOI: | 10.5485/tmcs.2020.0469 |
| Popis: | 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 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|