Genauer Unterschied Verifikation/Validierung
-
danke aber so richtig kapier ichs immer noch nicht
was meinst du mit "das Richtige"?
-
1.) Bezieht sich auf WAS gemacht wird.
2.) Bezieht sich auf WIE es gemacht, d.h. wie das WAS umgesetzt wird.
-
danke erneut.
verstehe ich das jetzt richtig, dass
wenn ich ein Programm auf Korrektheit der funktionen/methoden
prüft (bzw. ob das was rauskommt korrekt ist, z.B. mathematisch) dann ist es also Validierung?
-
uffom schrieb:
wenn ich ein Programm auf Korrektheit der funktionen/methoden
prüft (bzw. ob das was rauskommt korrekt ist, z.B. mathematisch) dann ist es also Validierung?Das klingt eher nach Verifizierung.
-
hmm...also vielleicht frage ich anders:
wenn ich ein Programm über Testroutinen (unit-tests z.B.) darauf prüfe ob bei gewisser eingabe die ausgabe richtig ist von den Daten bzw. vom ergebnis (bei einer Matrix-Vektor multiplikation z.B. ob der ergebnisvektor richtig ist) - das ist dann also Verifizierung?
-
Eine Validierung ist der übliche Kram über Unittest, der ist so lala ok. Wenn du wirklich sicher gehen willst, dass dein Programm/Funktion etc. wirklich zu 100% das macht was es machen soll(Raumfahrt, Medizin etc), dann machst du eine Verifizierung.
Validierung = sowas wie Unittests, also meist ungenau, aber meist ausreichend
Verifizierung = 100% genau, da z.B. mathematisch beweist, dass der Programmabschintt das macht was er soll.
-
danke
gut - dann ein letztes mal: ich habe ein Programm das matrix*vektor berechnet.
wenn ich nun z.B. über matlab und verschiedene eingaben schaue ob mein Programm richtig rechnet UND das auch tut - in welche der beiden klassen passt das dann?irgendwie in keine, es ist kein unit-test, aber auch kein 100% mathematischer beweis meines codes... was ist das denn?
-
*push
-
uffom schrieb:
irgendwie in keine, es ist kein unit-test, aber auch kein 100% mathematischer beweis meines codes... was ist das denn?
Du machst einen unautomatisierten unit-test. Du fängst nichtmal an zu beweisen => Validierung.
-
@uffom
So lange du mit konkreten Daten arbeitest kann es niemals eine Verifizierung sein.Ergebnisse gegenchecken ist ganz klar Validierung.
-
Darf ich mal darauf hinweisen, dass die Grenze nicht zwischen formalem Korrektheitsbeweis und dem ganzen Rest verläuft?
Lesen Sie hier:
http://de.wikipedia.org/wiki/Verifikation#Informatik
http://de.wikipedia.org/wiki/Validierung_(Informatik)(Allerdings zeigt mir der Thread auch, warum ich niemals diese Begriffe verwenden und davon ausgehen würde, dass jeder im Raum das gleiche darunter versteht wie ich.)