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 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, 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.
9 Citations
37 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 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. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
-
-
12. A non-transitory computer readable data medium 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 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. - View Dependent Claims (13, 14, 15, 16, 17, 18, 19, 20, 21, 22)
-
-
23. 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 without an error model of the target functionality, 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 (24, 25, 26, 27, 28, 29, 30, 31, 32, 33)
-
-
34. 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; and wherein the test case is generated by the achievability analysis in the formal requirement model, by a) first establishing a start plan comprising an initial state or an initial action, and an end state or an end action, in each case by the selection of at least one state variable with defined state, b) inserting, in the start plan, a requirement from the requirement model, between the initial state or the initial action, and the end state or the end action, so that a partial plan is created, and where the resulting causal coverage is acquired, including by causal connections, and c) inserting in the partial plan successive additional requirements from the requirement model, until a causally gap-free path is achieved between the initial state-and the desired end state; and wherein a causal inconsistency between requirements in the partial plan or in the solution plan is resolved by setting at least one time boundary condition by demotion or promotion. - View Dependent Claims (35)
-
-
36. 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; and wherein a causal inconsistency between requirements in the partial plan or in the solution plan is resolved by setting at least one time boundary condition by demotion or promotion. - View Dependent Claims (37)
-
Specification