Search for dissertations about: "specification based testing"

Showing result 1 - 5 of 59 swedish dissertations containing the words specification based testing.

2. 1. Model-Based Protocol Testing in an Erlang Environment

   Author : Johan Blom; Bengt Jonsson; Sven-Olof Nyström; Bernhard Aichernig; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Erlang; Model-Based Testing; Symbolic Execution; Communication Protocols; Datavetenskap; Computer Science;

   Abstract : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. READ MORE

4. 2. Property-based testing for functional programs

   Author : Nicholas Smallbone; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; testing; Functional programming;

   Abstract : This thesis advances the view that property-based testing is a powerful way of testing functional programs, that has advantages not shared by traditional unit testing. It does this by showing two new applications of property-based testing to functional programming as well as a study of the effectiveness of property-based testing. READ MORE

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

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

   Abstract : 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. READ MORE

6. 4. Incremental Learning and Testing of Reactive Systems

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

   Abstract : 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. READ MORE

7. 5. Testing of Heterogeneous Systems

   Author : Nauman Ghazi; Blekinge Tekniska Högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Heterogeneous systems; Information sources; Test selection;

   Abstract : Context: A system of systems often exhibits heterogeneity, for instance in implementation, hardware, process and verification. We define a heterogeneous system, as a system comprised of multiple systems (system of systems) where at least one subsystem exhibits heterogeneity with respect to the other systems. READ MORE