Incremental Learning and Testing of Reactive Systems
2011 (English)Licentiate thesis, comprehensive summary (Other academic)
This thesis concerns the design, implementation and evaluation of a specification based testing architecture for reactive systems using the paradigm of learning-based testing. As part of this work we have designed, verified and implemented new incremental learning algorithms for DFA and Kripke structures.These have been integrated with the NuSMV model checker to give a new learning-based testing architecture. We have evaluated our architecture on case studies and shown that the method is effective.
Place, publisher, year, edition, pages
Stockholm: KTH Royal Institute of Technology , 2011. , x, 45 p.
Trita-CSC-A, ISSN 1653-5723 ; 2011:14
Incremental learning, software testing, specification based testing, reactive systems, model checking
IdentifiersURN: urn:nbn:se:kth:diva-37763ISBN: 978-91-7501-062-5OAI: oai:DiVA.org:kth-37763DiVA: diva2:435171
2011-09-30, K2, Teknikringen 28, KTH, Stockholm, 10:00 (English)
Jonsson, Bengt, Professor
Meinke, Karl, Professor
QC 201108222011-08-222011-08-172011-08-22Bibliographically approved
List of papers