Testmustergenerierung mit Hilfe von ... - ihmor.de

Inhaltsverzeichnis
Inhaltsverzeichnis
1 EINLEITUNG .............................................................................1
1.1 Motivation ............................................................................................................1
1.2 Aufgabenstellung .................................................................................................1
1.3 Gliederung............................................................................................................2
2 MODELLBASIERTE ENTWICKLUNG EINGEBETTETER
SYSTEME..................................................................................3
2.1 Eingebettete Systeme...........................................................................................3
2.2 Entwicklungsprozess nach dem V-Modell ........................................................3
2.3 Grafische Modellierung in MATLAB................................................................6
2.3.1 Blockdiagramme in Simulink..............................................................................6
2.3.2 Zustandsdiagramme in Stateflow........................................................................7
3 MODELLBASIERTES TESTEN ..............................................11
3.1 Grundlagen.........................................................................................................11
3.1.1 Der Systembegriff .............................................................................................11
3.1.2 Grundbegriffe beim Testen ...............................................................................12
3.1.3 Der Testprozess.................................................................................................18
3.2 Prüfmethoden.....................................................................................................19
3.2.1 Verifikation und Validierung ............................................................................19
3.2.2 Statische Prüfverfahren .....................................................................................21
3.2.3 Dynamische Prüfverfahren................................................................................21
3.2.4 Spezielle Testarten ............................................................................................22
3.3 Abdeckung von Strukturmerkmalen...............................................................23
3.3.1 Bemerkung ........................................................................................................24
3.3.2 Kontrollflussgraph.............................................................................................25
3.3.3 Abdeckungskriterium und Abdeckungsgrad.....................................................26
3.3.4 Codeabdeckung .................................................................................................27
3.3.4.1 Anweisungsabdeckung ...................................................................................27
3.3.4.2 Zweigabdeckung.............................................................................................27
3.3.4.3 Bedingungsabdeckung ....................................................................................28
3.3.4.4 Pfadabdeckung................................................................................................32
3.3.5 Modellabdeckung..............................................................................................32
3.3.5.1 Zustandsabdeckung.........................................................................................32
iii