Boundary value to detect the inequality error test data generating apparatus, method and program

摘要

PROBLEM TO BE SOLVED: To determine which boundary a bug occurring during testing originates in, and to generate test data enabling efficient detection of an inequality sign error.SOLUTION: A test data generating device 10 includes: a design model extraction part 101 for extracting a design model; a test model construction part 103 for constructing a test model; a constraint equation construction part 105 for constructing a constraint equation set obtained by adding a first constraint equation ensuring that test data contains points of an equation representing a set of end points of a focused boundary, a second constraint equation in which a variable in the first constraint equation is made to move parallelly by a minimum unit in a direction determined based on an operator and a sign of a coefficient of a variable of a constraint equation of a focused boundary, and a third constraint equation ensuring that the test data does not contain a boundary value of a non-focused boundary of an equivalence class, and a constraint equation ensuring that a constraint condition of the non-focused boundary is satisfied; a constraint equation solution part 107 for obtaining the test data; and a test model and test data output part 111.SELECTED DRAWING: Figure 2