Patent ID: 8214690

Claim:
A method for testing a control apparatus with a test device, where the control apparatus has at least one state variable and at least one actual functionality that contains a time dependency, and the control apparatus and the test device are connected to each other via a signal interface, which method comprises the following process steps: acquisition in formal language of at least one time dependency-containing target functionality as a requirement, where the target functionality comprises at least one action and at least one expected reaction without an error model of the target functionality, generation of a requirement model from the requirement, generation of one or more test cases by performing at least one achievability analysis carried out in the requirement model taking into account the time dependency of the target functionality, and translation of the test cases into signal patterns, application of the signal patterns by the test device to the control apparatus via the signal interface, and acquisition of the pertinent state variables of the control apparatus with the test device.