Incremental Learning based Testing for Reactive Systems
2011 (English)In: / [ed] Martin Gogolla and Burkhart Wolff, 2011, 134-151 p.Conference paper (Refereed)
We show how the paradigm of learning-based testing (LBT)can be applied to automate specification-based black-box testing of reactivesystems. Since reactive systems can be modeled as Kripke structures,we introduce an efficient incremental learning algorithm IKL forsuch structures. We show how an implementation of this algorithm combinedwith an efficient model checker such as NuSMV yields an effectivelearning-based testing architecture for automated test case generation(ATCG), execution and evaluation, starting from temporal logic requirements.
Place, publisher, year, edition, pages
2011. 134-151 p.
, Lecture Notes In Computer Science, 6706
IdentifiersURN: urn:nbn:se:kth:diva-37339DOI: 10.1007/978-3-642-21768-5_11ScopusID: 2-s2.0-79960247126ISBN: 978-3-642-21767-8OAI: oai:DiVA.org:kth-37339DiVA: diva2:433301
5th International Conference on Tests and Proofs (TAP)
QC 201108222011-08-092011-08-092013-03-12Bibliographically approved