Method For Testing A Control Apparatus And Test Device
First Claim
1. 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,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, andtranslation 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.
2 Assignments
0 Petitions
Accused Products
Abstract
A method is described and represented 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.
The problem of the present invention is to prevent—at least partially—the disadvantages known from the state of the art, and, particularly, to provide a method for testing a control apparatus, which allows as simple and flexible an acquisition of the target functionality of a control apparatus is possible, and which takes into account the time dependency of the target functionality as comprehensively as possible during the test case generation.
-
Citations
36 Claims
-
1. 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, 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. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 14)
-
-
11. (canceled)
-
12. (canceled)
-
13. (canceled)
-
15. A computer readable data carrier storing computer code 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, wherein the computer code performs 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, 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. - View Dependent Claims (16, 17, 18, 19, 20, 21, 22, 23, 24, 25)
-
-
26. A test device for testing a control apparatus, where the control apparatus has state variables, and the test device can be connected with the control apparatus via a defined signal interface wherein the test device:
-
acquires a requirement in formal language at least one time dependency-containing target functionality, where the target functionality comprises at least one action and at least one expected reaction, generates a requirement model from the requirement, generates 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 translates the test cases into signal patterns, applies the signal patterns of the test device to the control apparatus via the signal interface, and acquires the pertinent state variables of the control apparatus. - View Dependent Claims (27, 28, 29, 30, 31, 32, 33, 34, 35, 36)
-
Specification