/CK06/
Mirko Conrad, Alexander Krupp:
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events

Second Workshop on Model Based Testing, 2006, Vienna, Austria.

+ Download

Abstract:
Nowadays, model-based test approaches are indispensable for the quality assurance of invehicle control software. In practice, the Classification-Tree Method for Embedded Systems (CTMEMB) is used to realize a compact graphical representation of test scenarios. Up to now, the CTMEMB has been used mainly in the area of continuous systems. Though the depiction of events within test scenarios is possible already by using existing means of description, there is still room for improvements. Thus, we will introduce in the following a novel extension of the Classification-Tree Method for Embedded Systems for a compact, natural depiction of event-like behaviour which we will illustrate by means of several examples from the area of in-vehicle control software.