Teaching model-based testing

dc.contributor.authorNémeth, Gábor Árpád
dc.date.accessioned2024-07-30T13:17:58Z
dc.date.available2024-07-30T13:17:58Z
dc.date.issued2020-10-12
dc.description.abstractDifferent 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: P50en
dc.formatapplication/pdf
dc.identifier.citationTeaching Mathematics and Computer Science, Vol. 18 No. 1 (2020) , 1-17
dc.identifier.doihttps://doi.org/10.5485/TMCS.2020.0469
dc.identifier.eissn2676-8364
dc.identifier.issn1589-7389
dc.identifier.issue1
dc.identifier.jatitleTeach. Math. Comp. Sci.
dc.identifier.jtitleTeaching Mathematics and Computer Science
dc.identifier.urihttps://hdl.handle.net/2437/378502
dc.identifier.volume18
dc.languageen
dc.relationhttps://ojs.lib.unideb.hu/tmcs/article/view/10960
dc.rights.accessOpen Access
dc.rights.ownerGábor Árpád Németh
dc.subjectmodel-based testingen
dc.subjecttest designen
dc.subjectteachingen
dc.titleTeaching model-based testingen
dc.typefolyóiratcikkhu
dc.typearticleen
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nem elérhető
Név:
PDF
Méret:
526.75 KB
Formátum:
Adobe Portable Document Format