- Seite 1:
Zum modellbasierten funktionalen Te
- Seite 5:
Kurzfassung Testen bezeichnet Aktiv
- Seite 9 und 10:
Inhaltsverzeichnis 1. Einleitung 1
- Seite 11 und 12:
Inhaltsverzeichnis B. Beweise 207 B
- Seite 13 und 14:
1. Einleitung Hersteller eines Syst
- Seite 15 und 16:
1.1. Problemstellung 20). Verifikat
- Seite 17 und 18:
1.1. Problemstellung dellierung wer
- Seite 19 und 20:
1.2. Beitrag Sicht erfordert dies e
- Seite 21 und 22:
1.2. Beitrag Constraints Zum andere
- Seite 23 und 24:
1.3. Einordnung • in methodischer
- Seite 25 und 26:
1.4. Gliederung Testfällen, die sp
- Seite 27 und 28:
2. Modellbasiertes Testen Dieses Ka
- Seite 29 und 30:
2.1. Fallstudie: Wireless Identity
- Seite 31 und 32:
2.1. Fallstudie: Wireless Identity
- Seite 33 und 34:
2.2. Testen modellbasierten Testen
- Seite 35 und 36:
2.2. Testen Code. Wenn Code idempot
- Seite 37 und 38:
2.2. Testen Verwendung von Testfäl
- Seite 39 und 40:
2.2. Testen Modell Validierung Test
- Seite 41 und 42:
2.2. Testen Beispiel 3 (Testziel, T
- Seite 43 und 44:
2.2. Testen Nichtdeterministische S
- Seite 45 und 46:
2.2. Testen einer tatsächlichen Ch
- Seite 47 und 48:
2.2. Testen Bisher wurde die Benenn
- Seite 49 und 50:
2.2. Testen verwendet werden. Man k
- Seite 51 und 52:
2.3. Modelle und Modellbasierung
- Seite 53 und 54:
2.3. Modelle und Modellbasierung 2.
- Seite 55 und 56:
2.3. Modelle und Modellbasierung -
- Seite 57 und 58:
2.3. Modelle und Modellbasierung
- Seite 59 und 60:
2.3. Modelle und Modellbasierung
- Seite 61 und 62:
2.3. Modelle und Modellbasierung Di
- Seite 63 und 64:
2.3. Modelle und Modellbasierung we
- Seite 65 und 66:
2.3. Modelle und Modellbasierung PS
- Seite 67 und 68:
2.3. Modelle und Modellbasierung Im
- Seite 69 und 70:
2.4. Modelle für Codeerzeugung, Ve
- Seite 71 und 72:
2.4. Modelle für Codeerzeugung, Ve
- Seite 73 und 74:
2.4. Modelle für Codeerzeugung, Ve
- Seite 75 und 76:
2.5. Andere QS-Maßnahmen im Rahmen
- Seite 77 und 78:
2.6. Zusammenfassung 1990; Théveno
- Seite 79 und 80:
2.6. Zusammenfassung • Modelle de
- Seite 81 und 82:
3. Testfallspezifikation Das zentra
- Seite 83 und 84:
3.1. Eigenschaften und Testfallspez
- Seite 85 und 86:
3.2. Funktionale Testfallspezifikat
- Seite 87 und 88:
3.2. Funktionale Testfallspezifikat
- Seite 89:
3.2. Funktionale Testfallspezifikat
- Seite 92 und 93:
3. Testfallspezifikation Diese Betr
- Seite 94 und 95:
3. Testfallspezifikation • Zum er
- Seite 96 und 97:
3. Testfallspezifikation Kriterien,
- Seite 99 und 100:
3.4. Stochastische Testfallspezifik
- Seite 101 und 102:
3.5. Formalismen für die Testfalls
- Seite 103 und 104:
3.5. Formalismen für die Testfalls
- Seite 105 und 106:
3.6. Zusammenfassung daten können
- Seite 107 und 108:
3.6. Zusammenfassung Evaluierung. D
- Seite 109 und 110:
4. Testfallgenerierung Dieses Kapit
- Seite 111 und 112:
4.2. Systemmodellierung mit AutoFoc
- Seite 113 und 114:
4.2. Systemmodellierung mit AutoFoc
- Seite 115 und 116:
4.2. Systemmodellierung mit AutoFoc
- Seite 117 und 118:
4.3. Übersetzung in Constraint-Log
- Seite 119 und 120:
4.3. Übersetzung in Constraint-Log
- Seite 121 und 122:
4.3. Übersetzung in Constraint-Log
- Seite 123 und 124:
4.3. Übersetzung in Constraint-Log
- Seite 125 und 126:
4.3. Übersetzung in Constraint-Log
- Seite 127 und 128:
4.3. Übersetzung in Constraint-Log
- Seite 129 und 130:
4.3. Übersetzung in Constraint-Log
- Seite 131 und 132:
4.3. Übersetzung in Constraint-Log
- Seite 133 und 134:
4.3. Übersetzung in Constraint-Log
- Seite 135 und 136:
4.4. Testfallgenerierung mit symbol
- Seite 137 und 138:
4.4. Testfallgenerierung mit symbol
- Seite 139 und 140:
4.6. Kompositionalität und Integra
- Seite 141 und 142:
4.6. Kompositionalität und Integra
- Seite 143 und 144:
4.7. Generierung integrierter MC/DC
- Seite 145 und 146:
4.7. Generierung integrierter MC/DC
- Seite 147 und 148:
4.7. Generierung integrierter MC/DC
- Seite 149 und 150:
4.7. Generierung integrierter MC/DC
- Seite 151 und 152:
4.7. Generierung integrierter MC/DC
- Seite 153 und 154:
4.7. Generierung integrierter MC/DC
- Seite 155 und 156:
4.8. Verwandte Arbeiten Die Verwend
- Seite 157 und 158:
4.9. Zusammenfassung 4.9. Zusammenf
- Seite 159 und 160:
4.9. Zusammenfassung • Schließli
- Seite 161 und 162:
5. Effizienzsteigerung und Anwendun
- Seite 163 und 164:
5.1. Suchstrategien ausgehende link
- Seite 165 und 166:
5.1. Suchstrategien Ausdruck Distan
- Seite 167 und 168: 5.1. Suchstrategien gewähren ist.
- Seite 169 und 170: 5.2. Zustandsspeicherung und EF-Mod
- Seite 171 und 172: 5.2. Zustandsspeicherung und EF-Mod
- Seite 173 und 174: 5.2. Zustandsspeicherung und EF-Mod
- Seite 175 und 176: 5.2. Zustandsspeicherung und EF-Mod
- Seite 177 und 178: 5.2. Zustandsspeicherung und EF-Mod
- Seite 179 und 180: 5.2. Zustandsspeicherung und EF-Mod
- Seite 181 und 182: 5.2. Zustandsspeicherung und EF-Mod
- Seite 183 und 184: 5.3. Verwendung von Constraints u.U
- Seite 185 und 186: 5.4. Experimente any possible comma
- Seite 187 und 188: 5.4. Experimente Tiefe Strat. Zeit
- Seite 189 und 190: 5.4. Experimente wird. Gerichtete S
- Seite 191 und 192: 5.4. Experimente Tiefe Strat. Zeit
- Seite 193 und 194: 5.4. Experimente Testfallspezifikat
- Seite 195 und 196: 5.4. Experimente Komponente Subkomp
- Seite 197 und 198: 5.5. Verwandte Arbeiten ponierten S
- Seite 199 und 200: 5.5. Verwandte Arbeiten Model Check
- Seite 201 und 202: 5.6. Zusammenfassung für eine echt
- Seite 203 und 204: 6. Ergebnisse und Ausblick Zentrale
- Seite 205 und 206: 6.1. Ergebnisse • Überdeckungskr
- Seite 207 und 208: 6.1. Ergebnisse Modellbasierung So
- Seite 209 und 210: 6.2. Zukünftige Arbeiten ten krypt
- Seite 211 und 212: 6.2. Zukünftige Arbeiten eine Mög
- Seite 213 und 214: 6.2. Zukünftige Arbeiten keit zum
- Seite 215 und 216: A. Programmiersprachen: Abstraktion
- Seite 217: A.2. Domänenspezifische Programmie
- Seite 221 und 222: B.2. Charakterisierung der Inklusio
- Seite 223 und 224: B.3. Charakterisierung des Kompleme
- Seite 225 und 226: Abbildungsverzeichnis 2.1. Systemst
- Seite 227 und 228: Tabellenverzeichnis 5.1. Beispiele
- Seite 229 und 230: Literaturverzeichnis [3GPP 2001] 3G
- Seite 231 und 232: Literaturverzeichnis [Braun u. a. 2
- Seite 233 und 234: Literaturverzeichnis [Delzanno und
- Seite 235 und 236: Literaturverzeichnis [Frühwirth un
- Seite 237 und 238: Literaturverzeichnis [Howden 1977]
- Seite 239 und 240: Literaturverzeichnis [Lötzbeyer un
- Seite 241 und 242: Literaturverzeichnis [Philipps und
- Seite 243 und 244: Literaturverzeichnis [Rushby 1995]
- Seite 245 und 246: Literaturverzeichnis [Ural 1992] Ur