Testmustergenerierung mit Hilfe von ... - ihmor.de

Inhaltsverzeichnis
5.4 Weitere Softwarekomponenten ........................................................................72
5.4.1 Reporter.............................................................................................................72
5.4.2 cvsim .................................................................................................................73
5.4.3 cvhtml................................................................................................................73
5.5 Die Testumgebung .............................................................................................73
6 EVALUIERUNG DES TESTMUSTERGENERATORS............75
6.1 Beispielmodell Automat_diskret ...............................................................75
6.2 Beispielmodell Automat_analog ................................................................78
6.3 Beispielmodell Kaffeeautomat..........................................................................81
6.3.1 Modellierung der Funktionalität........................................................................81
6.3.2 Verwendete Wahrscheinlichkeitsverteilungen..................................................84
6.3.3 Ergebnisse der Testmustergenerierung .............................................................86
6.4 Bewertung...........................................................................................................89
7 ZUSAMMENFASSUNG UND AUSBLICK ..............................93
7.1 Zusammenfassung .............................................................................................93
7.2 Ausblick ..............................................................................................................94
8 LITERATURVERZEICHNIS.....................................................95
ANHANG ............................................................................................99
A Grundlagen der Wahrscheinlichkeitsrechnung........................................................99
v