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
| Identifer | oai:union.ndltd.org:UPSALLA1/oai:DiVA.org:kth-37763 |
| Date | January 2011 |
| Creators | Sindhu, Muddassar |
| Publisher | KTH, Teoretisk datalogi, TCS, Stockholm : KTH Royal Institute of Technology |
| Source Sets | DiVA Archive at Upsalla University |
| Language | English |
| Detected Language | English |
| Type | Licentiate thesis, comprehensive summary, info:eu-repo/semantics/masterThesis, text |
| Format | application/pdf |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | Trita-CSC-A, 1653-5723 ; 2011:14 |
Page generated in 0.0017 seconds