Transcription of Verifikation & Validation
{{id}} {{{paragraph}}}
TestenPrinzipien und MethodenALP 2 ArdetDefinitionIm folgenden gilt:Software = Programm + Daten + DokumentationMotivation Software wird immer mehr in Bereichen eingesetzt, wo ein Versagen zu wirtschaftlichen Verlusten f hrt und Menschenleben gef hrdet wird. 50 % der Ausf lle im industriellen Sektor sind auf Software-Fehler zur ckzuf hrenWas sind die Folgen?=> Zunehmende Qualit tsanforderungenBeispielDas akzeptieren eines 0,1%-Defektniveaus bedeutet:-Pro Jahr: fehlerhafte Medikamente300 versagende Herzschrittmacher-Pro Woche: 500 Fehler bei med. Operationen-Pro Tag: verlorene Briefe in der Post18 Flugzeugabst rze-Pro Stunde: Schecks nicht korrekt gebuchtVerifikation vs. Validation Mittels Verifikation wird festgestellt ob ein Programm seiner Spezifikation > mit dem Hoare-Kalk Verifikation beantwortet die Frage: Erstellen wir das Produkt richtig?
Verifikation vs. Validation • Mittels Verifikation wird festgestellt ob ein Programm seiner Spezifikation entspricht. => z.B. mit dem Hoare-Kalkül.
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}