| Autor: |
Degrave, François, Schrijvers, Tom, Vanhoof, Wim |
| Zdroj: |
Logic-based Program Synthesis & Transformation (9783642125911); 2010, p128-142, 15p |
| Abstrakt: |
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. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
