Consistency Techniques for Interprocedural Test Data Generation

Proceedings of the Joint European Software Engineering Conference (ESEC) and SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)

Volumn , Issue , 2003, Pages 108-117

  Sy, Nguyen Tran ^a   Deville, Yves ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

Arrays; Consistency; Constraint satisfaction; Procedures; Software testing; Test data generation

Indexed keywords

ALGORITHMS; ARRAYS; AUTOMATION; COMPUTER PROGRAM LISTINGS; CONSTRAINT THEORY; DATA REDUCTION; GRAPH THEORY; ITERATIVE METHODS; SOFTWARE ENGINEERING;

CONSISTENCY; CONSTRAINT SATISFACTION; PROCEDURES; SOFTWARE TESTING; TEST DATA GENERATION;

COMPUTER TESTING;

EID: 1542347192     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. L. Clarke. A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering, 2(3):215-222, 1976.
2. J. Duran and S. Ntafos. An Evaluation of Random Testing. IEEE Transactions on Software Engineering, 10(4):438-444, July 1984.
3. R. Ferguson and B. Korel. The chaning approach for software test data generation. ACM Transactions on Software Engineering Methodology, 5(1):63-86, 1996.
4. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its uses in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, July 1987.
5. A. Gotlieb, B. Botella, and M. Rueher. A CLP framework for computing structural test data. In Computational Logic, pages 399-413, 2000.
6. N. Gupta, A. P. Mathur, and M. L. Soffa. Automated test data generation using an iterative relaxation method. In ACM SIGSOFT Sixth International Symposium on Foundations of Software Engineering(FSE-6), Nov. 1998.
7. N. Gupta, A. P. Mathur, and M. L. Soffa. Generating test data for branch coverage. In 15th IEEE International Conference on Automated Software Engineering(ASE00), September 2000.
8. P. V. Hentenryck, L. Michel, and Y. Deville. Numerica. A modeling language for global optimization. The MIT Press, Cambridge, Massachusetts, London, 1997.
9. T. Hickey. An interval arithmetic library, 2000. http://interval.sourceforge.net/interval/index.html.
10. J. King. Symbolic Execution and Program Testing. Communications of the ACM, 19(7):385-394, July 1976.
11. B. Korel. Automated test data generation for programs with procedures. In Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA), pages 209-215, 1996.
12. D. Melski and T. W. Reps. Interprocedural path profiling. In Computational Complexity, 1999.
13. C. Michel, M. Rueher, and Y. Lebbah. Solving constraint over floating-point numbers. In Seventh International Conference on Principles and Practice of Constraint. Springer Verlag, LNCS, 2001.
14. R. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966.
15. R. P. Pargas, M. J. Harrold, and R. Peck. Test-data generation using genetic algorithms. Software Testing, Verification and Reliability, 9(4):263-282, 1999.
16. W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery. Numerical Recipes in C. The Art of Scientific Computing. Second Edition. Cambridge University Press, 1992.
17. D. J. Richardson and M. C. Thompson. An analysis of test data selection criteria using the RELAY model of fault detection. IEEE Transactions on Software Engineering, 19(6):533-553, June 1993.
18. G. Schumacher and A. Bantle. Automatic test case generation using interval arithmetic. In Proceedings of the SCAN2000/INTERVAL2000, Germany, 2000.
19. S. Sinha, M. J. Harrold, and G. Rothermel. Interprocedural control dependence. Software Engineering and Methodology, 10(2):209-254, 2001.
20. N. T. Sy and Y. Deville. Automatic test data generation for programs with integer and float variables. In 16th IEEE International Conference on Automated Software Engineering(ASE01), 2001.
21. E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.