Method, system and program for model based software development with test case generation and evaluation

摘要

A test case is generated based on a model of a control system as well as a source code generated from the model by using a model based software development method. Information on an attribute of the model such as a range of input to the model is evaluated and used for generating the test case. A simulation result of the model besides an input data and a content of the source code are utilized for enhancing coverage of the test case.