Arnaud Gotlieb
ABSTRACT
Constraint-Based Test data generation (CBT) exploits constraint satisfaction techniques to generate test data able to kill a given mutant or to reach a selected branch in a program. When pointer variables are present in the program, aliasing problems may arise and may lead to the failure of current CBT approaches. In our work, we propose an overall CBT method that exploits the results of an intraprocedural points-to analysis and provides two specific constraint combinators for automatically generating test data able to reach a selected branch. Our approach correctly handles multi-levels stack-directed pointers that are mainly used in real-time control systems. The method has been fully implemented in the test data generation tool INKA and first experiences in applying it to a variety of existing programs tend to show the interest of the approach.
- DeMillo, R.A. and Offut, J.A., "Constraint-based automatic test data generation", IEEE Trans on Software Eng., vol. 17, no. 9, pp. 900--910, Sep. 1991.]] Google Scholar
Digital Library
- Offut, J.A. and Jin, Z. and Pan J., "The dynamic domain reduction procedure for test data generation", Software--Practice and Exp., vol. 29, no. 2, 1999.]] Google ScholarDigital Library
- Gotlieb, A. and Botella, B. and Rueher, M., "Automatic test data generation using constraint solving techniques", in Proc. of the Int. Symp. on Software Testing and Analysis (ISSTA'98), Clearwater Beach, FL, USA, Mar. 1998, pp. 53--62.]] Google ScholarDigital Library
- Gotlieb, A. and Botella, B. and Rueher, M., "A clp framework for computing structural test data", in Proceedings of Computational Logic (CL'2000), London, UK, July 2000, LNAI 1891, pp. 399--413.]] Google ScholarDigital Library
- Meudec, C., "ATGen: automatic test data generation using constraint logic programming and symbolic execution", Software Testing, Verification and Reliability, vol. 11, no. 2, pp. 81--96, June 2001.]]Google ScholarCross Ref
- K. Marriott and P.J. Stuckey, Programming with Constraints: An Introduction, The MIT Press, 1998.]] Google ScholarDigital Library
- Axlog Ingenierie and Thales Airborne Systems, INKA--V1 User's Manual, december 2002.]]Google Scholar
- Lapkowski, C. and Hendren, L.J., "Extended SSA numbering: Introducing SSA properties to languages with multi--level pointers", in 7th Proc. of the Conf. on Compilers Construction (CC'98), Lisbon, Portugal, Mar. 1998, pp. 128--143, LNCS 1383.]] Google ScholarDigital Library
- Ostrand, T.J. and Weyuker, E.J., "Data flow-based test adequacy analysis for languages with pointers", in In Proceedings of the Symposium on Testing, Analysis, and Verification (TAV'91), Oct. 1991, pp. 74--86.]] Google ScholarDigital Library
- Livshits, V. and Lam, M., "Tracking pointers with path and context sensitivity for bug detection in c programs", in ACM Symp. on the Foundations of Soft. Eng. (ESEC/FSE'03), Sep. 2003, pp. 317--326.]] Google ScholarDigital Library
- Binkley, D.W. and Lyle, J.R., "Application of the pointer state subgraph to static program slicing", Jour. of Sys. and Soft., vol. 40, no. 1, pp. 17--27,1998.]] Google ScholarDigital Library
Index Terms
- Constraint-based test data generation in the presence of stack-directed pointers
Recommendations
Constraint-Based Automatic Test Data Generation
A novel technique for automatically generating test data is presented. The technique is based on mutation analysis and creates test data that approximate relative adequacy. It is a fault-based technique that uses algebraic constraints to describe test ...
Consistency techniques for interprocedural test data generation
ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineeringThis paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to programs with procedure calls and arrays. A test program (with procedure ...
Consistency techniques for interprocedural test data generation
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to programs with procedure calls and arrays. A test program (with procedure ...
Comments