| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a production technique of test data for program operation confirmation. <P>SOLUTION: A data restriction generation section 31 of a data production apparatus 3 reads screen transitions, screen items and properties which are specifications of an inspection target program, and disposes the properties corresponding to the specifications of the screen transitions in association with each of the screen transitions. Further, for each property, the data restriction generation section 31 makes an input determination true in the case where a pre-condition is caused by an input item in a closest event on the screen transition, acquires properties retroactively along screen transitions if the input determination is not true, repeats property collection until the input determination becomes true, extracts a group of acquired properties as dependent properties, and uses the pre-condition, post-condition and concatenation condition of the dependent properties to generate a data restriction that is a restriction condition for data production. A data production section 33 designates the data restriction to an SMT solver and produces test data. <P>COPYRIGHT: (C)2012,JPO&INPIT |
