PDF4PRO ⚡AMP

Modern search engine that looking for books and documents around the web

Example: bankruptcy

Verifikation & Validation

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.

Loading..

Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Spam in document Broken preview Other abuse

Transcription of Verifikation & Validation

Related search queries