Test case generation for object-oriented imperative languages in clp*
Theory and Practice of Logic Programming
Search-based software testing and test data generation for a dynamic programming language
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Generation of test data structures using constraint logic programming
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Hi-index | 0.00 |
Nowadays, many test data generation approaches are employed on basic numerical types such as integer and real data. However, in real practice, pointers and dynamic data structures are so widely used that most recent test data generation approaches are restricted in application. This paper proposes a path-oriented test data generation approach specifically for dynamic pointer data. Firstly, a least restrictive shape involved in input structure is created, which meets pointer constraints for a given path. Secondly, the value of data field in the created shape is determined. The experiment results show that our approach is effective and practicable in test generation for dynamic pointer data.