A CLP Framework for Computing Structural Test Data [chapter]

Arnaud Gotlieb, Bernard Botella, Michel Rueher
2000 Lecture Notes in Computer Science  
Structural testing techniques are widely used in the unit testing process of softwares. A major challenge of this process consists in generating automatically test data, i.e., in finding input values for which a selected point in a procedure is executed. We introduce here an original framework where the later problem is transformed into a CLP(FD) problem. Specific operators have been introduced to tackle this kind of application. The resolution of the constraint system is based upon entailment
more » ... echniques. A prototype system -named InKA-which allows to handle a non-trivial subset of programs written in C has been developed. First experimental results show that InKa is competitive with traditional ad-hoc methods. Moreover, InKa has been used successfully to generate test data for programs extracted from a real application.
doi:10.1007/3-540-44957-4_27 fatcat:getqxsjienfxtb7hcyzivw5hzm