Sökning: "Muddassar Sindhu"

Hittade 2 avhandlingar innehållade orden Muddassar Sindhu.

1. 1. Algorithms and Tools for Learning-based Testing of Reactive Systems

   Författare :Muddassar Sindhu; Karl Meinke; Brian Nielsen; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; specification-based testing; learning-based testing; reactive systems; LBTest; case studies;

   Sammanfattning : In this thesis we investigate the feasibility of learning-based testing (LBT) as a viable testing methodology for reactive systems. In LBT, a large number of test cases are automatically generated from black-box requirements for the system under test (SUT) by combining an incremental learning algorithm with a model checking algorithm. LÄS MER

3. 2. Incremental Learning and Testing of Reactive Systems

   Författare :Muddassar Sindhu; Karl Meinke; Bengt Jonsson; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Incremental learning; software testing; specification based testing; reactive systems; model checking; Computer science; Datalogi;

   Sammanfattning : 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. LÄS MER