Case studies in learning-based testing
2013 (English)In: Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, Springer, 2013, 164-179 p.Conference paper (Refereed)
We present case studies which show how the paradigm of learning-based testing (LBT) can be successfully applied to black-box requirements testing of industrial 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 data types.We then provide benchmark performance results for LBTest applied to three industrial case studies.
Place, publisher, year, edition, pages
Springer, 2013. 164-179 p.
, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743 ; 8254 LNCS
Black boxes, Industrial case study, Kripke structure, Linear temporal logic, Model-checking technology, Reactive system, Test requirements, Testing tools
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:kth:diva-143280DOI: 10.1007/978-3-642-41707-8_11ScopusID: 2-s2.0-84893424950ISBN: 978-364241706-1OAI: oai:DiVA.org:kth-143280DiVA: diva2:706374
25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013; Istanbul; Turkey; 13 November 2013 through 15 November 2013
QC 201403202014-03-202014-03-192015-05-12Bibliographically approved