- Seite 1: Zum modellbasierten funktionalen Te
- Seite 5: Kurzfassung Testen bezeichnet Aktiv
- Seite 10 und 11: Inhaltsverzeichnis 3.3.1. Kontroll-
- Seite 12 und 13: Inhaltsverzeichnis viii
- Seite 14 und 15: 1. Einleitung den Schluß nahe, da
- Seite 16 und 17: 1. Einleitung Wie können abstrakte
- Seite 18 und 19: 1. Einleitung zur Testfallgenerieru
- Seite 20 und 21: 1. Einleitung vorgestellt werden. E
- Seite 22 und 23: 1. Einleitung testenden Systemen un
- Seite 24 und 25: 1. Einleitung liert insbesondere Kr
- Seite 26 und 27: 1. Einleitung und gemischt diskret-
- Seite 28 und 29: 2. Modellbasiertes Testen A cf:Cmd
- Seite 30 und 31: 2. Modellbasiertes Testen se:Securi
- Seite 32 und 33: 2. Modellbasiertes Testen --- Comma
- Seite 34 und 35: 2. Modellbasiertes Testen Systemfeh
- Seite 36 und 37: 2. Modellbasiertes Testen Testen vo
- Seite 38 und 39: 2. Modellbasiertes Testen der Fehle
- Seite 40 und 41: 2. Modellbasiertes Testen sicherung
- Seite 42 und 43: 2. Modellbasiertes Testen (a) I Mod
- Seite 44 und 45: 2. Modellbasiertes Testen eine Chip
- Seite 46 und 47: 2. Modellbasiertes Testen Definitio
- Seite 48 und 49: 2. Modellbasiertes Testen Der Unter
- Seite 50 und 51: 2. Modellbasiertes Testen Black-Box
- Seite 52 und 53: 2. Modellbasiertes Testen Ein weite
- Seite 54 und 55: 2. Modellbasiertes Testen Die Unter
- Seite 56 und 57:
2. Modellbasiertes Testen schwierig
- Seite 58 und 59:
2. Modellbasiertes Testen Zusammenf
- Seite 60 und 61:
2. Modellbasiertes Testen Modellier
- Seite 62 und 63:
2. Modellbasiertes Testen In Abschn
- Seite 64 und 65:
2. Modellbasiertes Testen Modell ve
- Seite 66 und 67:
2. Modellbasiertes Testen AutoFocus
- Seite 68 und 69:
2. Modellbasiertes Testen Abbildung
- Seite 70 und 71:
2. Modellbasiertes Testen Anforderu
- Seite 72 und 73:
2. Modellbasiertes Testen Anforderu
- Seite 74 und 75:
2. Modellbasiertes Testen Unterschi
- Seite 76 und 77:
2. Modellbasiertes Testen • sowie
- Seite 78 und 79:
2. Modellbasiertes Testen • Ein T
- Seite 80 und 81:
2. Modellbasiertes Testen 68
- Seite 82 und 83:
3. Testfallspezifikation ge der Tes
- Seite 84 und 85:
3. Testfallspezifikation Ein weiter
- Seite 86 und 87:
3. Testfallspezifikation zur Verfü
- Seite 88 und 89:
3. Testfallspezifikation D CardMode
- Seite 91 und 92:
3.2. Funktionale Testfallspezifikat
- Seite 93 und 94:
3.3. Überdeckungsmaße als Testfal
- Seite 95 und 96:
3.3. Überdeckungsmaße als Testfal
- Seite 97:
3.3. Überdeckungsmaße als Testfal
- Seite 100 und 101:
3. Testfallspezifikation relational
- Seite 102 und 103:
3. Testfallspezifikation Sequenzdia
- Seite 104 und 105:
3. Testfallspezifikation 3.6. Zusam
- Seite 106 und 107:
3. Testfallspezifikation • Auch w
- Seite 108 und 109:
3. Testfallspezifikation 96
- Seite 110 und 111:
4. Testfallgenerierung lassen, was
- Seite 112 und 113:
4. Testfallgenerierung und gerichte
- Seite 114 und 115:
4. Testfallgenerierung seWimOutput:
- Seite 116 und 117:
4. Testfallgenerierung gibt es eine
- Seite 118 und 119:
4. Testfallgenerierung Logikprogram
- Seite 120 und 121:
4. Testfallgenerierung e(X) X/0 X/s
- Seite 122 und 123:
4. Testfallgenerierung Kommunikatio
- Seite 124 und 125:
4. Testfallgenerierung Transitionen
- Seite 126 und 127:
4. Testfallgenerierung eines Constr
- Seite 128 und 129:
4. Testfallgenerierung f(⃗p 1 ) =
- Seite 130 und 131:
4. Testfallgenerierung % Funktionsd
- Seite 132 und 133:
4. Testfallgenerierung eine Minimie
- Seite 134 und 135:
4. Testfallgenerierung PSfrag repla
- Seite 136 und 137:
4. Testfallgenerierung Nun ergibt s
- Seite 138 und 139:
4. Testfallgenerierung arbeitet wer
- Seite 140 und 141:
4. Testfallgenerierung D zugleich T
- Seite 142 und 143:
4. Testfallgenerierung PSfrag repla
- Seite 144 und 145:
4. Testfallgenerierung coverage-Abd
- Seite 146 und 147:
4. Testfallgenerierung findet sich
- Seite 148 und 149:
4. Testfallgenerierung • für t|
- Seite 150 und 151:
4. Testfallgenerierung die mit eine
- Seite 152 und 153:
4. Testfallgenerierung • Res = h6
- Seite 154 und 155:
4. Testfallgenerierung sind, dann i
- Seite 156 und 157:
4. Testfallgenerierung 1976). Wegen
- Seite 158 und 159:
4. Testfallgenerierung Variablen sc
- Seite 160 und 161:
4. Testfallgenerierung 148
- Seite 162 und 163:
5. Effizienzsteigerung und Anwendun
- Seite 164 und 165:
5. Effizienzsteigerung und Anwendun
- Seite 166 und 167:
5. Effizienzsteigerung und Anwendun
- Seite 168 und 169:
5. Effizienzsteigerung und Anwendun
- Seite 170 und 171:
5. Effizienzsteigerung und Anwendun
- Seite 172 und 173:
5. Effizienzsteigerung und Anwendun
- Seite 174 und 175:
5. Effizienzsteigerung und Anwendun
- Seite 176 und 177:
5. Effizienzsteigerung und Anwendun
- Seite 178 und 179:
5. Effizienzsteigerung und Anwendun
- Seite 180 und 181:
5. Effizienzsteigerung und Anwendun
- Seite 182 und 183:
5. Effizienzsteigerung und Anwendun
- Seite 184 und 185:
5. Effizienzsteigerung und Anwendun
- Seite 186 und 187:
5. Effizienzsteigerung und Anwendun
- Seite 188 und 189:
5. Effizienzsteigerung und Anwendun
- Seite 190 und 191:
5. Effizienzsteigerung und Anwendun
- Seite 192 und 193:
5. Effizienzsteigerung und Anwendun
- Seite 194 und 195:
5. Effizienzsteigerung und Anwendun
- Seite 196 und 197:
5. Effizienzsteigerung und Anwendun
- Seite 198 und 199:
5. Effizienzsteigerung und Anwendun
- Seite 200 und 201:
5. Effizienzsteigerung und Anwendun
- Seite 202 und 203:
5. Effizienzsteigerung und Anwendun
- Seite 204 und 205:
6. Ergebnisse und Ausblick von Code
- Seite 206 und 207:
6. Ergebnisse und Ausblick Die ents
- Seite 208 und 209:
6. Ergebnisse und Ausblick Einschr
- Seite 210 und 211:
6. Ergebnisse und Ausblick Modell O
- Seite 212 und 213:
6. Ergebnisse und Ausblick Abstrakt
- Seite 214 und 215:
6. Ergebnisse und Ausblick 202
- Seite 216 und 217:
A. Programmiersprachen: Abstraktion
- Seite 218 und 219:
A. Programmiersprachen: Abstraktion
- Seite 220 und 221:
B. Beweise Darüberhinaus ist die L
- Seite 222 und 223:
B. Beweise Eine syntaktische Charak
- Seite 224 und 225:
B. Beweise Beweis von 5.6. Zunächs
- Seite 226 und 227:
Abbildungsverzeichnis 6.1. Test nic
- Seite 228 und 229:
Tabellenverzeichnis 216
- Seite 230 und 231:
Literaturverzeichnis [Baker u. a. 2
- Seite 232 und 233:
Literaturverzeichnis [Ciarlini und
- Seite 234 und 235:
Literaturverzeichnis [Eipper 1986]
- Seite 236 und 237:
Literaturverzeichnis [Hahn u. a. 20
- Seite 238 und 239:
Literaturverzeichnis [Koch u. a. 19
- Seite 240 und 241:
Literaturverzeichnis [Nierstrasz un
- Seite 242 und 243:
Literaturverzeichnis [Pretschner u.
- Seite 244 und 245:
Literaturverzeichnis [Shen und Abra
- Seite 246:
Literaturverzeichnis [Weyuker 1986]