- Patent Title: Computer-readable recording medium storing therein test data generating program, test data generating method, test data generating apparatus and information processing system
-
Application No.: US14089215Application Date: 2013-11-25
-
Publication No.: US09639454B2Publication Date: 2017-05-02
- Inventor: Shoichiro Fujiwara , Tadahiro Uehara , Kazuki Munakata , Yoshiharu Maeda , Susumu Tokumoto , Asako Katayama , Supasit Monpratarnchai
- Applicant: FUJITSU LIMITED
- Applicant Address: JP Kawasaki
- Assignee: FUJITSU LIMITED
- Current Assignee: FUJITSU LIMITED
- Current Assignee Address: JP Kawasaki
- Agency: Oblon, McClelland, Maier & Neustadt, L.L.P.
- Priority: JP2013-022950 20130208
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F11/36

Abstract:
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.
Public/Granted literature
Information query