A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A CLP Framework for Computing Structural Test Data
[chapter]
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
doi:10.1007/3-540-44957-4_27
fatcat:getqxsjienfxtb7hcyzivw5hzm