| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a test data generation program for generating test data using boundary value limitation to suppress explosion of combinations even if a universal qualifier or an existential qualifier is included in a logical expression representing a precondition. <P>SOLUTION: A test data generation method includes, if an existential qualifier is included in a logical expression: extracting from a logical expression a partial predicate logical expression including the existential qualifier and input data identification information for identifying input data containing an element of the existential qualifier; referring to a storage part storing the number of rows of a table for each table identified by the input data identification information to obtain the number of rows of a table corresponding to the input data identification information included in the partial predicate logical expression; generating logical expressions defining values of variables representing the numbers of rows to be the minimum value, the maximum value, and a range larger than the minimum value and smaller than the maximum value of the obtained number of rows, respectively; generating a constraint expression expressed by connecting the generated logical expressions by a logical sum; and converting the partial predicate logical expression contained in the logical expression stored in the storage part into a logical product of the partial predicate logical expression and the generated constraint expression. <P>COPYRIGHT: (C)2013,JPO&INPIT |
