Verifikation

Verifikation
Relevant für Projekte aus der ASE-Initiative	AdWiSE
Stadium	Up-to-date

ASE-Definition (dt.)

Verifikation meint allgemein den Nachweis der Wahrheit von Aussagen. Übertragen auf technische Systeme ist hierunter die Überprüfung zu verstehen, ob eine Realisierung (z.B. ein Software-Programm) mit der Spezifikation (in diesem Fall mit der Algorithmenbeschreibung) übereinstimmt. Bei der Überprüfung der Gültigkeit eines Programms wird auch von der Programmverifikation gesprochen. Die Verifikation wird im Allgemeinen formal realisiert. Umgangssprachlich ist die Verifikation die Beantwortung der Frage: Wird ein korrektes Produkt entwickelt? (VDI 2206)

ASE-Definition (engl.)

Verification generally means the proof of the truth of statements. Transferred to technical systems this means the check, whether a realization (e.g. a software program) corresponds to the specification (in this case to the algorithm description). The verification of the validity of a program is also called program verification. The verification is generally realized formally. Colloquially, verification is the answer to the question: Is a correct product being developed? (VDI 2206)

Literatur

Albers, Albert; Behrendt, Matthias; Klingler, Simon; Matros, Kevin (2016): Verifikation und Validierung im Produktentstehungsprozess. In Udo Lindemann (Ed.): Handbuch Produktentwicklung. München: Hanser, pp. 541–569. VDI Norm 2206: VDI 2206 - Entwicklungsmethodik für mechatronische Systeme

Siehe auch

Validierung