Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs
2006 17th International Symposium on Software Reliability Engineering (2006)
Raleigh, North Carolina
Nov. 7, 2006 to Nov. 10, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.49
Besnik Seljimi , Universit? Joseph Fourier - Laboratoire LSR-IMAG
Ioannis Parissis , Universit? Joseph Fourier - Laboratoire LSR-IMAG
Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language. It makes possible to automatically generate test input sequences in conformance with a specification of the software external behavior and of guiding directives such as operational profiles and behavioral patterns. Lutess deals with software and specifications involving only boolean inputs and outputs. In this paper we propose an extension of Lutess, using Constraint Logic Programming (CLP), making possible to deal with numeric inputs and outputs. In particular, we define an appropriate execution model for test input generation and show how test data generation according to the main guiding facilities of Lutess can still be performed. Furthermore, operational profile based generation becomes more powerful thanks to the introduction of CLP solvers capabilities which make possible to associate occurrence probabilities to any boolean expression.
I. Parissis and B. Seljimi, "Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs," 2006 17th International Symposium on Software Reliability Engineering(ISSRE), Raleigh, North Carolina, 2006, pp. 105-116.