Computer-readable recording medium storing therein test data generating program, test data generating method, test data generating apparatus and information processing system

A test data generating method comprising:

• generating, for each of a plurality of path conditions obtained by repeatedly performing symbolic execution, by simplifying the path condition by substituting a fixed value for a symbolic variable included in the path condition;
• calculating a value of a symbolic variable that satisfies the simplified path condition;
• generating test data including the calculated value, the fixed value, and a path condition not subjected to simplification;
• and
• removing duplicative data from the test data that corresponds to a same path condition.

A test data generating apparatus comprising:

• circuitry configured to
• generate, for each of a plurality of path conditions obtained by repeatedly performing symbolic execution, a simplified path condition by substituting a fixed value for a symbolic variable included in the path condition;
• calculate, for each the simplified path condition, a value of the symbolic variable that satisfies the simplified path condition;
• generate test data including the calculated values, the fixed values, and path conditions not subjected to simplification;
• and
• remove duplicative data from the test data that corresponds to a same path condition.

An information processing system comprising:

• circuitry configured to
• iteratively perform symbolic execution to obtain a plurality of path conditions for a program;
• generate a plurality of simplified path conditions each corresponding to one of the plurality of path conditions by substituting a fixed value for a symbolic variable in the program;
• calculate, for each of the plurality of simplified path conditions, a value for the symbolic variable that satisfies each of the plurality of simplified path conditions;
• generate, for each of the plurality of simplified path conditions, test data including the calculated value, the fixed value for the symbolic variable, and a path condition that has not been subjected to simplification;
• and
• analyze the test data to remove duplicative test data corresponding to a same path condition.