EQUIVALENCE TEST DATA GENERATING DEVICE, METHOD, AND PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide a device for generating test data ensuring that a bug occurring during testing does not originate in a boundary.SOLUTION: A test data generating device 10 includes: a design model extraction part 101 for extracting a design model from design specifications; a test model construction part 103 for constructing a test model that is a set of test items bringing a specific result to the design model; a constraint equation construction part 105 for constructing a first constraint equation that should be satisfied by test data to bring a specific result in terms of the test items of the test model and for constructing a constraint equation set obtained by adding, to the first constraint equation, a second constraint equation ensuring that the test data does not contain a boundary value of an equivalence class; a constraint equation solution part 107 for solving a constraint equation in the constraint equation set to obtain test data; and a test model and test data output part 111 for outputting a test model and the test data, and generates test data for design specifications in which system design information is described.SELECTED DRAWING: Figure 2