System and Method for Automatically Testing a Model

摘要

A system for automatically testing a model of system under test includes (a) means for the automatic generation of a test harness; (b) means for automatic generation of test specifications based on the analysis of the results obtained from the simulation of the test harness; (c) means for the automatic generation of test data and test controls; (d) means for automatic evaluation of the test quality and the automatic generation of a verdict. A method for automatically testing a model system includes (a) detecting at least one feature of an input signal to the model system and (b) detecting at least one feature of an output signal of the model system, wherein the at least one feature of the input signal or the input signal is generated automatically depending on at least one feature of the at least one output signal.