Structural testing techniques are widely used in the unit test- ing 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 origi- nal 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 entail- ment techniques. A prototype system | named InKA| which allows to handle a non-trivial subset of programs written in C has been de- veloped. 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.
CITATION STYLE
Gotlieb, A., Botella, B., & Rueher, M. (2000). A CLP framework for computing structural test data. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 1861, pp. 399–413). Springer Verlag. https://doi.org/10.1007/3-540-44957-4_27
Mendeley helps you to discover research relevant for your work.