| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a test data generation device and method that enable generation of test data capable of controlling processing branching by arriving at and solving a constraint satisfaction problem. <P>SOLUTION: A test data generation device performs the steps of: extracting an input variable, a DB table variable and constraint from design information and converting the constraint on a search condition and an input value condition including a comparative operator into constraint to be satisfied by boundary value-testing test data to store the conversion result in storage means; reading, thereafter, the constraint from the storage means and undoing constraint related to the number of records of DB table variables; determining the number of records of the DB table variables; deriving constraint related to a character string length from the constraint related to an inclusion relation between a set of character string-type variables; undoing constraint related to the character string length of a character string-type variable and constraint related to an integer-type variable; undoing constraint relative to the character string-type variable; and determining a value of characters constituting the character string-type variable and outputting an input variable and a DB table variable as test data. <P>COPYRIGHT: (C)2013,JPO&INPIT |
