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.

ISBN:3642125913

Publication year:2010

BOF-keylabel:yes

IOF-keylabel:yes

Authors from:Higher Education

Accessibility:Open