Learning-based software testing: A tutorial
2012 (English)In: Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / [ed] Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen, Springer, 2012, 200-219 p.Conference paper (Refereed)
We present an overview of the paradigm of learning-based testing (LBT) for software systems. LBT is a fully automated method for specification-based black-box testing using computational learning principles. It applies the principle of tests as queries, where queries are either generated by a learning algorithm or by a model checker through use of a formal requirements specification. LBT can be applied to automate black-box testing of a variety of different software architectures including procedural and reactive systems. We describe some different testing platforms which have been designed using this paradigm and some representative evaluation results. We also compare LBT with related testing methods.
Place, publisher, year, edition, pages
Springer, 2012. 200-219 p.
, Communications in Computer and Information Science, ISSN 1865-0929 ; 336 CCIS
Model checking, Software testing, Specifications
IdentifiersURN: urn:nbn:se:kth:diva-107316DOI: 10.1007/978-3-642-34781-8_16ISI: 000315973600016ScopusID: 2-s2.0-84868372797ISBN: 978-364234780-1OAI: oai:DiVA.org:kth-107316DiVA: diva2:576091
International Workshops on Software Aspects of Robotic Systems, SARS 2011 and Machine Learning for System Construction, MLSC 2011, Held Under the Auspices of the ISoLA 2011, 17 October 2011 through 18 October 2011, Vienna
QC 201212122012-12-122012-12-102013-04-19Bibliographically approved