| Forschungsschwerpunkt |
Fault Model-based Test Generation from Semiformal Requirement Documents |
|
Embedded systems become increasingly complex and safety critical. Thus requirement-based testing of such systems against design faults becomes increasingly challenging. This work proposes an integrated solution for model-based test generation and can be split into three parts with different aims: |
|
System Modelling - supporting the manual transformation from an informal requirement document into a formal model. To achieve this goal a natural language template-based approach was chosen. Sentence templates specify the temporal relationship between indi-vidual situations described by expressions over facts filled into the template. Each template has a precise semantics in a real-time logic to which the requirement document will be automatically transformed resulting in the formal model. |
|
Fault Criteria Modelling - offering the specification of fault criteria, each resulting in on or several fault models which match the intuition of tests created manually these days. Test engineers were interviewed to find out on which intuitions of faults existing test cases are based. The formalization of those leads to a set of fault operators, each operating on one or more requirements on the real-time logic level, as well as to constraints specifying which requirements to select for a fault operator by partly accessing background information (e.g. electronic dependencies). |
|
Fault Model-based Test Generation - generating definitely discriminating tests from an ok-model and one or several fault models. The proposed test generation algorithm performs a search in state-space of the models represented by timed automata which are generated from the real-time logic. The search is similar to what is done in model checking, but since definitely discriminating tests (DDTs) are generated here the problem is in a different complexity class. Several reasonable subclasses of DDT are defined in order to prune the search space and thus to avoid state explosion. |
 |
| See also this page. |