Gesellschaft fŘr Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2005 Informatik LIVE! Band 2, Beitr├Ąge der 35 Jahrestagung der Gesellschaft f├╝r Informatik e.V. (GI), 19. bis 22. September 2005 in Bonn P-68, 191-195 (2005).


2005


Editors

Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage (eds.)


Contents

Die Klassifikationsbaummethode f├╝r eingebettete Systeme mit Testmustern fuer nichtkontinuierliche Reglerelemente

A. Krupp and W. M├╝ller

Abstract


Ein wichtiges Qualit├Ątsmerkmal des modellbasierten Tests und damit beim Test von Simulink-Modellen sind ├ťberdeckungskriterien. Wir stellen einen Ansatz zur Verbesserung der Test├╝berdeckung von Simulink-Modellen unter Verwendung der Klassifikationsbaummethode (CTM) vor. Dazu erweitern wir die CTM um eine Si- gnalbeschreibung durch die Ableitung eines Signals.


Full Text: PDF

ISBN 3-88579-397-0


Last changed 24.01.2012 21:51:14