Fujitsu Corporation

Kazuki Munakata

Yoshiharu Maeda

Tadahiro Uehara

Asako Katayama

Supasit Monpratarnchai

Susumu Tokumoto

Shoichiro Fujiwara

A computer-readable recording medium storing therein a test data generating program to be executed by a computer, the program causing the computer 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 first 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 values of the symbolic variable, 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.

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

Growing community of inventors

Shiki, Japan

Kazuki Munakata