Search for dissertations about: "Combinatorial testing"

Showing result 1 - 5 of 10 swedish dissertations containing the words Combinatorial testing.

  2. 1. Testing for ASP—ASP for Testing

    Author : Johannes Oetsch; Hans Tompits; Österreich Technische Universität Wien Institut für Logic and Computation; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Logic Programming; Answer-Set Programming; Mutation Testing; Random Testing; Structural Testing; Unit Testing; Program Annotations; Combinatorial Interaction Testing; Event-Sequence Testing; Programming Support;

    Abstract : Answer-set programming (ASP) is a prominent approach for declarative problem solving with roots in non-monotonic reasoning, knowledge representation, and logic programming. As a problem solving paradigm, it means that properties of problem solutions are modelled using declarative rules so that an ASP solver can then be used to search for solutions which are referred to as answer sets. READ MORE

  4. 2. Handling Combinatorial Explosion in Software Testing

    Author : Mats Grindal; Sten Andler; Yu Lei; Högskolan i Skövde; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Input parameter models; software development; software testing; test process; Software engineering; Programvaruteknik; Technology; Teknik; Computer science;

    Abstract : In this thesis, the overall conclusion is that combination strategies, (i.e., test case selection methods that manage the combinatorial explosion of possible things to test), can improve the software testing in most organizations. The research underlying this thesis emphasizes relevance by working in close relationship with industry. READ MORE

  5. 3. Engineering Competitive and Query-Optimal Minimal-Adaptive Randomized Group Testing Strategies

    Author : Muhammad Azam Sheikh; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; learning by queries; combinatorial search; competitive ratio; randomization; pooling design; group testing; linear program;

    Abstract : Suppose that given is a collection of $n$ elements where $d$ of them are \emph{defective}. We can query an arbitrarily chosen subset of elements which returns Yes if the subset contains at least one defective and No if the subset is free of defectives. The problem of group testing is to identify the defectives with a minimum number of such queries. READ MORE

  6. 4. Model-based System Testing of Safety-Critical Embedded Software

    Author : Muhammad Nouman Zafar; Wasif Afzal; Eduard Paul Enoiu; Cyrille Artho; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : System-level testing of safety-critical embedded systems is complex and costly. MBT has shown promising results in terms of fault detection effectiveness and efficiency of test generation and execution. However, the industrial adoption of MBT approaches is slow and limited to specific industries and domains. READ MORE

  7. 5. Supporting Decisions on Regression test Scoping in a Software Product Line Context - from Evidence to Practice

    Author : Emelie Engström; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Large software organizations with a product line development approach face many challenges regarding testing. Test managers need to make tradeoffs along three dimensions of repeated testing (abstraction level, time and product space) and consider a range of goals and constraints. READ MORE