Automatic Test Data Generation Method for Complex Structure Based on Memory Modeling

Aiming at automatic test data generation for complex structure such as list,tree and map,this paper presents a path-oriented test data generation method based on memory modeling.An Abstract memory model which models structure variables and numerical variables separately is introduced to assist symbolic execution of the tested path.On symbolic execution of the path,the semantic operation of the statement is mapped to the operation of Abstract memory,in this process the alias problem caused by pointers is solved,and the constraints of the path are recorded exactly in the Abstract memory.Finally,test data is generated by constraint solving.The proposed method has been implemented in a self-developed automatic unit test tool called UATS.Experimental results prove that the method is feasible.