Return to search

Incremental Learning and Testing of Reactive Systems

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. / QC 20110822

Identiferoai:union.ndltd.org:UPSALLA1/oai:DiVA.org:kth-37763
Date January 2011
CreatorsSindhu, Muddassar
PublisherKTH, Teoretisk datalogi, TCS, Stockholm : KTH Royal Institute of Technology
Source SetsDiVA Archive at Upsalla University
LanguageEnglish
Detected LanguageEnglish
TypeLicentiate thesis, comprehensive summary, info:eu-repo/semantics/masterThesis, text
Formatapplication/pdf
Rightsinfo:eu-repo/semantics/openAccess
RelationTrita-CSC-A, 1653-5723 ; 2011:14

Page generated in 0.0024 seconds