Skript vom Sommersemester 2012 - Institut fÃ¼r Automatisierungs ...

Weitere Magazine

Empfehlungen

Info

§ 13 Softwarezuverlässigkeit ZSA Zeitabhängige Modelle – Prozess der Fehlererkennung und Korrektur • Die Anzahl der Fehler eines Programms • Hängt von der Komplexität des Programms ab • Einfachste Metriken für Komplexität: LOC (Lines of Code), Zahl der Programmanweisungen • Fehlerrate • Anzahl der in einer Zeiteinheit aufgetretenen Fehler hängt von der Gesamtzahl der Fehler im Programm ab • Fehlerkorrektur • Durch die Fehlerbehebung verringert sich die Anzahl der Fehler im Programm • Im Idealfall wird jeder Fehler richtig korrigiert • In der Praxis können neue Fehler dazukommen • Mittlere Zeit zwischen zwei erkannten Fehlern • Die Zeit wird nach jeder Korrektur größer © <strong>2012</strong> IAS, Universität Stuttgart 336
§ 13 Softwarezuverlässigkeit ZSA Shooman Modell (1) – Das Prinzip Die Fehlerrate von Software ist der Zahl der im Programm enthaltenen Fehler (Restfehler) proportional – Anzahl der Fehler • E r = E - E c • E Anzahl der Fehler zu Beginn der Tests • E c , E r Anzahl der korrigierten Fehler und der Restfehler – Fehlerrate λ sw ( t) = c ⋅ Er ( τ ) I c Proportionalitätskonstante I Anzahl der Programmanweisungen (Instruction) τ, t Testzeit, Betriebszeit E, c unbekannte Modellparameter © <strong>2012</strong> IAS, Universität Stuttgart E = c ⋅ − E I c ( τ ) (162) 337
Seite 1 und 2:
Universität Stuttgart Institut fü
Seite 3 und 4:
Zuverlässigkeit und Sicherheit von
Seite 5 und 6:
Seite 7 und 8:
Seite 9 und 10:
§ 1 Einführung, Begriffe und Kenn
Seite 11 und 12:
Seite 13 und 14:
Seite 15 und 16:
Seite 17 und 18:
Seite 19 und 20:
Seite 21 und 22:
Seite 23 und 24:
Seite 25 und 26:
Seite 27 und 28:
Seite 29 und 30:
Seite 31 und 32:
Seite 33 und 34:
Seite 35 und 36:
Seite 37 und 38:
§ 2 Normen zur Zuverlässigkeit un
Seite 39 und 40:
Seite 41 und 42:
Seite 43 und 44:
Seite 45 und 46:
Seite 47 und 48:
Seite 49 und 50:
§ 3 Fehlererkennung ZSA Graphische
Seite 51 und 52:
§ 3 Fehlererkennung ZSA Was ist Di
Seite 53 und 54:
§ 3 Fehlererkennung ZSA Diversitä
Seite 55 und 56:
§ 3 Fehlererkennung ZSA Fehlereige
Seite 57 und 58:
§ 3 Fehlererkennung ZSA Fehlerausw
Seite 59 und 60:
§ 3 Fehlererkennung ZSA Fehlerarte
Seite 61 und 62:
§ 3 Fehlererkennung ZSA Frage zu
Seite 63 und 64:
§ 4 Anforderungen, Beeinflussende
Seite 65 und 66:
Seite 67 und 68:
Seite 69 und 70:
Seite 71 und 72:
Seite 73 und 74:
Seite 75 und 76:
Seite 77 und 78:
Seite 79 und 80:
§ 5 Wahrscheinlichkeitsrechnung ZS
Seite 81 und 82:
Seite 83 und 84:
Seite 85 und 86:
Seite 87 und 88:
Seite 89 und 90:
Seite 91 und 92:
Seite 93 und 94:
Seite 95 und 96:
Seite 97 und 98:
Seite 99 und 100:
Seite 101 und 102:
Seite 103 und 104:
§ 6 Risiko und Gefährdung ZSA Ris
Seite 105 und 106:
§ 6 Risiko und Gefährdung ZSA Gef
Seite 107 und 108:
§ 6 Risiko und Gefährdung ZSA Sic
Seite 109 und 110:
§ 6 Risiko und Gefährdung ZSA ICE
Seite 111 und 112:
§ 6 Risiko und Gefährdung ZSA Gru
Seite 113 und 114:
Seite 115 und 116:
§ 6 Risiko und Gefährdung ZSA Bet
Seite 117 und 118:
Seite 119 und 120:
§ 6 Risiko und Gefährdung ZSA Sch
Seite 121 und 122:
§ 6 Risiko und Gefährdung ZSA Bei
Seite 123 und 124:
Seite 125 und 126:
Seite 127 und 128:
Seite 129 und 130:
Seite 131 und 132:
Seite 133 und 134:
§ 6 Risiko und Gefährdung ZSA Fun
Seite 135 und 136:
§ 6 Risiko und Gefährdung ZSA Una
Seite 137 und 138:
§ 7 Zuverlässigkeits- und Sicherh
Seite 139 und 140:
Seite 141 und 142:
Seite 143 und 144:
Seite 145 und 146:
Seite 147 und 148:
Seite 149 und 150:
Seite 151 und 152:
Seite 153 und 154:
Seite 155 und 156:
Seite 157 und 158:
Seite 159 und 160:
Seite 161 und 162:
Seite 163 und 164:
Seite 165 und 166:
Seite 167 und 168:
Seite 169 und 170:
Seite 171 und 172:
§ 8 Sicherungsmethoden ZSA Sicheru
Seite 173 und 174:
§ 8 Sicherungsmethoden ZSA Sicheru
Seite 175 und 176:
§ 8 Sicherungsmethoden ZSA Anwendu
Seite 177 und 178:
§ 9 Berechnungsmethoden ZSA § 9 B
Seite 179 und 180:
§ 9 Berechnungsmethoden ZSA Graphi
Seite 181 und 182:
§ 9 Berechnungsmethoden ZSA Serien
Seite 183 und 184:
§ 9 Berechnungsmethoden ZSA Parall
Seite 185 und 186:
Seite 187 und 188:
Seite 189 und 190:
§ 9 Berechnungsmethoden ZSA Serien
Seite 191 und 192:
§ 9 Berechnungsmethoden ZSA k-von-
Seite 193 und 194:
§ 9 Berechnungsmethoden ZSA k-von-
Seite 195 und 196:
§ 9 Berechnungsmethoden ZSA Vergle
Seite 197 und 198:
§ 9 Berechnungsmethoden ZSA Booles
Seite 199 und 200:
§ 9 Berechnungsmethoden ZSA Formen
Seite 201 und 202:
§ 9 Berechnungsmethoden ZSA Linear
Seite 203 und 204:
§ 9 Berechnungsmethoden ZSA Überl
Seite 205 und 206:
§ 9 Berechnungsmethoden ZSA Identi
Seite 207 und 208:
§ 9 Berechnungsmethoden ZSA Verbin
Seite 209 und 210:
§ 9 Berechnungsmethoden ZSA System
Seite 211 und 212:
§ 9 Berechnungsmethoden ZSA Minima
Seite 213 und 214:
§ 9 Berechnungsmethoden ZSA Ermitt
Seite 215 und 216:
§ 9 Berechnungsmethoden ZSA Top-do
Seite 217 und 218:
§ 9 Berechnungsmethoden ZSA Analys
Seite 219 und 220:
§ 9 Berechnungsmethoden ZSA Komple
Seite 221 und 222:
§ 9 Berechnungsmethoden ZSA Ausfal
Seite 223 und 224:
§ 9 Berechnungsmethoden ZSA Beispi
Seite 225 und 226:
§ 9 Berechnungsmethoden ZSA Analys
Seite 227 und 228:
ZSA © 2012 IAS, Universität Stutt
Seite 229 und 230:
Seite 231 und 232:
§ 9 Berechnungsmethoden ZSA Ausfal
Seite 233 und 234:
§ 9 Berechnungsmethoden ZSA Verbin
Seite 235 und 236:
Seite 237 und 238:
§ 9 Berechnungsmethoden ZSA Markov
Seite 239 und 240:
Seite 241 und 242:
Seite 243 und 244:
Seite 245 und 246:
Seite 247 und 248:
Seite 249 und 250:
Seite 251 und 252:
Seite 253 und 254:
Seite 255 und 256:
Seite 257 und 258:
§ 9 Berechnungsmethoden ZSA Allgem
Seite 259 und 260:
§ 9 Berechnungsmethoden ZSA Einfac
Seite 261 und 262:
§ 9 Berechnungsmethoden ZSA Zuverl
Seite 263 und 264:
§ 9 Berechnungsmethoden ZSA 2-von-
Seite 265 und 266:
§ 9 Berechnungsmethoden ZSA Sicher
Seite 267 und 268:
§ 9 Berechnungsmethoden ZSA 2-von-
Seite 269 und 270:
§ 9 Berechnungsmethoden ZSA - Einf
Seite 271 und 272:
§ 9 Berechnungsmethoden ZSA - Einf
Seite 273 und 274:
§ 9 Berechnungsmethoden ZSA Verfü
Seite 275 und 276:
Seite 277 und 278:
Seite 279 und 280:
§ 9 Berechnungsmethoden ZSA Bayes'
Seite 281 und 282:
Seite 283 und 284:
Seite 285 und 286: Zuverlässigkeit und Sicherheit von
Seite 287 und 288: § 10 Vereinfachungen ZSA Abschätz
Seite 289 und 290: § 10 Vereinfachungen ZSA Berechnun
Seite 291 und 292: § 10 Vereinfachungen ZSA Numerisch
Seite 293 und 294: § 10 Vereinfachungen ZSA Berechnun
Seite 295 und 296: § 10 Vereinfachungen ZSA Numerisch
Seite 299 und 300: § 11 Zuverlässigkeit komplexer Sy
Seite 309 und 310: § 12 Berechnung von Sicherheitsken
Seite 335: § 13 Softwarezuverlässigkeit ZSA
Seite 339 und 340: § 13 Softwarezuverlässigkeit ZSA
Seite 377 und 378: § 14 Rams-Management ZSA RAM-Logbu
Seite 379 und 380: § 14 Rams-Management ZSA Sicherhei
Seite 381 und 382: § 14 Rams-Management ZSA Beispiel:
Seite 383 und 384: § 14 Rams-Management ZSA Beispiel:
Seite 387 und 388:
§ 15 Sicherheitsnachweis (SN) ZSA
Seite 389 und 390:
Seite 391 und 392:
Seite 393 und 394:
Seite 395 und 396:
Seite 397 und 398:
Seite 399 und 400:
Seite 401 und 402:
Seite 403 und 404:
Seite 405 und 406:
Seite 407 und 408:
Seite 409 und 410:
§ 16 Abkürzungen, Literatur ZSA A
Seite 411 und 412:
§ 16 Abkürzungen, Literatur ZSA A
Seite 413 und 414:
§ 16 Abkürzungen, Literatur ZSA L
Seite 415 und 416:
Seite 417 und 418:
Seite 419:
Alle anzeigen

Skript vom Sommersemester 2012 - Institut fÃ¼r Automatisierungs ...

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?