On the existence of practical testers

conference paper
2017
Tretmans, J.
Model-based testing is one of the promising technologies to increase the efficiency and effectiveness of software testing. This paper outlines the evolution of model-based testing based on labelled transition systems, from purely theoretical developments in the eighties to industrially applicable tools now: from canonical testers to practical testers. We present TorXakis as an example of a practical model-based tester, founded in the testing theory for labelled transition systems, and now being introduced in the daily practice of testing.
Topics
Labelled transition systemsModel-based testingModel-based testing toolsSoftware testing
TNO Identifier
781886
Repository link
https://resolver.tno.nl/uuid:cb2e86e5-168d-49c6-85e2-50028c831427
ISSN
03029743
ISBN
9783319682693
Publisher
Springer Verlag
Source title
Symposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017. 18 October 2017 through 18 October 2017
Editor(s)
Katoen, J.P.
Langerak, R.
Rensink, A.
Pages
87-106
Files
To receive the publication files, please send an e-mail request to TNO Repository.