Test data generation program, test data generation device and test data generation method

摘要

PROBLEM TO BE SOLVED: To automatically generate the data of descriptions to be input to a constraint solver in which the path conditions of a processing path are correctly described in the case of generating test data for making the program of language having the concept of digits execute a specific processing path.;SOLUTION: A constraint description generation part 120 generates the data of descriptions to be input to a constraint solver from the information of conditions for making a program execute a specific processing path. In this case, the constraint description generation part 120 defines variables for comparison corresponding to numeric type of variables, and as for the constraint of the comparison conditions between the numeric type of variables and character string type of variables, sets constraints using the variables for comparison instead of the numeric type of variables. Also, when there exist the comparison conditions of variables whose digit numbers are different, the constraint description generation part 120 compensates the digits of the variables whose digit number is smaller to match the number of digits. As for the numeric type of variables, the constraint description generation part 120 performs setting of compensating "0" from the head, and as for the character string type of variables, performs setting of compensating a blank from the tail.;COPYRIGHT: (C)2014,JPO&INPIT