Goal-oriented test data generation for pointer programs

Information and Software Technology

Volumn 49, Issue 9-10, 2007, Pages 1030-1044

  Gotlieb, Arnaud ^a   Denmat, Tristan ^a   Botella, Bernard ^b  

^a CAMPUS DE BEAULIEU   (France)

^b THALES AVIONICS   (France)

Author keywords

Constraint logic programming; Goal oriented test data generation; Pointer variables; Static single assignment form

Indexed keywords

C (PROGRAMMING LANGUAGE); CONSTRAINT THEORY; DATA REDUCTION; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING;

CONSTRAINT LOGIC PROGRAMMING; GOAL ORIENTED METHODS; POINTER VARIABLES; STATIC SINGLE ASSIGNMENT FORM;

COMPUTER SOFTWARE;

EID: 34347374293     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2006.10.016     Document Type: Article

References (32)

1. A. Gotlieb, B. Botella, M. Rueher, Automatic test data generation using constraint solving techniques, in: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'98), Clearwater Beach, FL, USA, 1998, pp. 53-62.
2. A. Gotlieb, B. Botella, M. Rueher, A clp framework for computing structural test data, in: Proceedings of Computational Logic (CL'2000), LNAI 1891, London, UK, 2000, pp. 399-413.
3. Cytron R., Ferrante J., Rosen B., Wegman M., and Zadeck F. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Language and Systems 13 4 (1991) 451-490
4. S. Kowshik, D. Dhurjati, V. Adve, Ensuring code safety without runtime checks for real-time control systems, in: Proceedings of the International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES'02), Grenoble, FR, 2002.
5. DeMillo R., and Offut J. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering 17 9 (1991) 900-910
6. DeMillo R., and Offut J. Experimental results from an automatic test case generator. ACM Transactions on Software Engineering Methodology 2 2 (1993) 109-127
7. Offut J., Jin Z., and J P. The dynamic domain reduction procedure for test data generation. Software-Practice and Experience 29 2 (1999) 167-193
8. Meudec C. ATGen: automatic test data generation using constraint logic programming and symbolic execution. Software Testing, Verification and Reliability 11 2 (2001) 81-96
9. Botella B., Gotlieb A., and Michel C. Symbolic execution of floating-point computations. The Software Testing, Verification and Reliability Journal 16 2 (2006) 97-121
10. A. Gotlieb, B. Botella, M. Watel, Inka: Ten years after the first ideas, in: 19th International Conference on Software, Systems Engineering and their Applications (ICSSEA'06), Paris, France, 2006.
11. Ferrante J., Ottenstein K., and Warren J. The program dependence graph and its use in optimization. ACM Transactions on Programming Language and Systems 9 (1987) 319-349
12. Brandis M., and Mo{combining double acute accent}ssenbo{combining double acute accent}ck H. Single-pass generation of static single-assignment form for structured languages. ACM Transactions on Programming Language and Systems 16 6 (1994) 1684-1698
13. Axlog Ingenierie and Thales Airborne Systems, INKA-V1 User's Manual, December 2002.
14. A. Gotlieb, B. Botella, Automated metamorphic testing, in: 27th IEEE Annual International Computer Software and Applications Conference (COMPSAC'03), Dallas, TX, USA, 2003.
15. T. Chen, T. Tse, Z. Zhou, Fault-based testing in the absence of an oracle, in: IEEE International Computer Softwater and Application Conference (COMPSAC), 2001, pp. 172-178.
16. Marriott K., and Stuckey P. Programming with Constraints: An Introduction (1998), The MIT Press
17. Sy N.T., and Deville Y. 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 engineering (2003), ACM Press, Albuquerque, NM 108-117
18. M. Carlsson, G. Ottosson, B. Carlson, An open-ended finite domain constraint solver, in: Proceedings of the Programming Languages: Implementations, Logics, and Programs, 1997.
19. Cytron R., and Gershbein R. Efficient accommodation of may - alias information in SSA form. Proceedings of Programming Languages Design and Implementation (1993), ACM Press, Albuquerque, NM
20. Hasti R., and Horwitz S. Using static single assignment form to improve flow-insensitive pointer analysis. PLDI '98: Proceedings of the Conference on Programming Language Design and Implementation (1998), ACM Press, Albuquerque, NM 97-105
21. E. Emami, R. Ghiya, L. Hendren, Context-sensitive interprocedural points-to analysis in the presence of function pointers, in: Proceedings of Programming Languages Design and Implementation, ACM, Orlando, FL, 1994.
22. C. Lapkowski, L. Hendren, Extended SSA numbering: Introducing SSA properties to languages with multi-level pointers, in: Seventh Proceedings of the Conference on Compilers Construction (CC'98), LNCS 1383 Kai Koshimies (edition), Lisbon, Portugal, 1998, pp. 128-143.
23. R. Ghiya, L. Hendren, Putting pointer analysis to work, in: Proceedings of Symp. on Principles of Programming Languages, ACM, San Diego, CA, 1998.
24. T. Ostrand, E. Weyuker, Data flow-based test adequacy analysis for languages with pointers, in: Proceedings of the Symposium on Testing, Analysis, and Verification (TAV'91), 1991, pp. 74-86.
25. V. Livshits, M. Lam, Tracking pointers with path and context sensitivity for bug detection in C programs, in: ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'03), 2003, pp. 317-326.
26. Binkley D., and Lyle J. Application of the pointer state subgraph to static program slicing. Journal of Systems and Software 40 1 (1998) 17-27
27. Korel B. Automated software test data generation. IEEE Transactions on Software Engineering 16 8 (1990) 870-879
28. S. Visvanathan, N. Gupta, Generating test data for functions with pointer inputs, in: Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE'02), Edinburgh, UK, 2002.
29. B. Marre, P. Mouy, N. Williams, On-the-fly generation of k-path tests for c functions, in: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE'04), Linz, Austria, 2004.
30. Sai-ngern S., Lursinap C., and Sophatsathit P. An address mapping approach for test data generation of dynamic linked structures. Information and Software Technology 47 (2005) 199-214
31. K. Sen, D. Marinov, G. Agha, CUTE: A concolic unit testing engine for C, in: Fifth joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'05), ACM, 2005, pp. 263-272.
32. Ferguson R., and Korel B. The chaining approach for software test data generation. ACM Transactions on Software Engineering Methodology 5 1 (1996) 63-86