Consistency techniques for interprocedural test data generation

Nguyen Tran Sy, Yves Deville
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
This paper 1 presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or oat variables. It extends our previous work 1] to programs with procedure calls and arrays. A test program (with procedure calls) is represented by a n Interprocedural Control Flow Graph (ICFG). The classical testing criteria (statement, branch, and path coverage), widely used in unit testing, are extended to the ICFG. For path coverage, the speci ed path is
more » ... rmed into a path constraint. Our previous consistency techniques, the core idea behind the solving of path constraints, have been extended to handle procedural calls and operations with arrays. For statement (and branch) coverage, paths reaching the speci ed node or branch are dynamically constructed. The search for suitable paths is guided by t h e i n terprocedural control dependences of the program. The search is also pruned by a new specialized consistency lter. Finally, test data are generated by the application of the proposed path coverage algorithm. A prototype has been implemented. Experiments show t h e feasibility of the approach.
doi:10.1145/940071.940087 dblp:conf/sigsoft/SyD03 fatcat:czb2c2gih5fhxbolksul25el4a