INEQUALITY SIGN ERROR DETECTING AND BOUNDARY VALUE TEST DATA GENERATING DEVICE, 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;COPYRIGHT: (C)2016,JPO&INPIT