Case studies in learning-based testingShow others and affiliations
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, p. 164-179Conference paper, Published paper (Refereed)
Abstract [en]
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. p. 164-179
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743 ; 8254 LNCS
Keywords [en]
Black boxes, Industrial case study, Kripke structure, Linear temporal logic, Model-checking technology, Reactive system, Test requirements, Testing tools
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:kth:diva-143280DOI: 10.1007/978-3-642-41707-8_11Scopus ID: 2-s2.0-84893424950ISBN: 9783642417061 (print)OAI: oai:DiVA.org:kth-143280DiVA, id: diva2:706374
Conference
25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013; Istanbul; Turkey; 13 November 2013 through 15 November 2013
Note
QC 20140320
2014-03-202014-03-192022-06-23Bibliographically approved