test case generation apparatus and a test case generation method for the model-based control device

摘要

PROBLEM TO BE SOLVED: To provide a test case generation device and generation method for generating a test case capable of more surely and quickly verifying the appropriateness of a source code generated on the basis of a model.;SOLUTION: The test case generation device includes: a processing element detection means 7 and 12 for detecting a processing element for executing the boundary value inspection of input data as an inspection object processing element 35 from a plurality of processing elements included in a model 21; fluctuating state detection means 7 and 12 for detecting fluctuating state SUM_SFTBIT of LSB indicating the accuracy of input data In1 and In2 until the input data In1 and In2 are input to the model 21, and input to the inspection object processing element; and input data calculation means 7 and 12 for calculating a test case necessary for executing the boundary value inspection for the inspection object processing element as the input data In1 and In2 in accordance with the detected fluctuating state SUM_SFTBIT.;COPYRIGHT: (C)2014,JPO&INPIT