Search for dissertations about: "Combinatorial testing"
Showing result 1 - 5 of 10 swedish dissertations containing the words Combinatorial testing.
-
1. Testing for ASP—ASP for Testing
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
-
2. Handling Combinatorial Explosion in Software Testing
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
-
3. Engineering Competitive and Query-Optimal Minimal-Adaptive Randomized Group Testing Strategies
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
-
4. Model-based System Testing of Safety-Critical Embedded Software
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
-
5. Supporting Decisions on Regression test Scoping in a Software Product Line Context - from Evidence to Practice
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