Teaching model-based testing
dc.contributor.author | Németh, Gábor Árpád | |
dc.date.accessioned | 2024-07-30T13:17:58Z | |
dc.date.available | 2024-07-30T13:17:58Z | |
dc.date.issued | 2020-10-12 | |
dc.description.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 | en |
dc.format | application/pdf | |
dc.identifier.citation | Teaching Mathematics and Computer Science, Vol. 18 No. 1 (2020) , 1-17 | |
dc.identifier.doi | https://doi.org/10.5485/TMCS.2020.0469 | |
dc.identifier.eissn | 2676-8364 | |
dc.identifier.issn | 1589-7389 | |
dc.identifier.issue | 1 | |
dc.identifier.jatitle | Teach. Math. Comp. Sci. | |
dc.identifier.jtitle | Teaching Mathematics and Computer Science | |
dc.identifier.uri | https://hdl.handle.net/2437/378502 | |
dc.identifier.volume | 18 | |
dc.language | en | |
dc.relation | https://ojs.lib.unideb.hu/tmcs/article/view/10960 | |
dc.rights.access | Open Access | |
dc.rights.owner | Gábor Árpád Németh | |
dc.subject | model-based testing | en |
dc.subject | test design | en |
dc.subject | teaching | en |
dc.title | Teaching model-based testing | en |
dc.type | folyóiratcikk | hu |
dc.type | article | en |
Fájlok
Eredeti köteg (ORIGINAL bundle)
1 - 1 (Összesen 1)