Towards a Framework for Constraint-Based Test Case Generation

In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies in order to express preferences on the generated test cases and to obtain the desired degree of coverage. We develop our framework in the concrete context of an imperative language and show that the technique is sufficiently powerful to deal with arbitrary pointer-based data-structures allocated on the heap.

• Type: Conference
• Year: 2009
• Where: LOPSTR
• Authors: François Degrave, Tom Schrijvers, Wim Vanhoof
• Keywords: CP Search Strategies, LOPSTR 2009, Test Case Generation, Test Cases