Case Studies in Learning-based Testing
2013 (English)Report (Other academic)
We present case studies which show how the paradigm of learning-based testing (LBT) can be successfully applied to black-box requirements testing of reactive systems. For this we apply a new testing tool LBTest, which combines algorithms for incremental black-box learning of Kripke structures with model checking technology. We show how test requirements can be modeled in propositional linear temporal logic extended by finite abstract data types. We provide benchmark performance results for LBTest applied to two industrial case studies. Finally we present a first coverage study for the tool.
Place, publisher, year, edition, pages
2013. , 22 p.
Learning-based Testing, Specification-based Testing, case studies
IdentifiersURN: urn:nbn:se:kth:diva-119265OAI: oai:DiVA.org:kth-119265DiVA: diva2:610361
QC 201303122013-03-112013-03-112015-03-03Bibliographically approved