Verifikation: Difference between revisions

From ASE Community
Jump to navigation Jump to search
(Created page with "Category:ASE-Glossar {| class="wikitable" style="margin-left: auto; margin-right: 0px;" !colspan="2"|Verifikation |- !Relevant für Projekte aus der ASE-Initiative ||AdWiS...")
 
No edit summary
 
Line 17: Line 17:
==Literatur==
==Literatur==
[https://www.hanser-elibrary.com/doi/book/10.3139/9783446445819 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.]
[https://www.hanser-elibrary.com/doi/book/10.3139/9783446445819 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.]
[https://www.beuth.de/de/technische-regel/vdi-2206/73296956 VDI Norm 2206: VDI 2206 - Entwicklungsmethodik für mechatronische Systeme]
[https://www.beuth.de/de/technische-regel/vdi-2206/73296956 VDI Norm 2206: VDI 2206 - Entwicklungsmethodik für mechatronische Systeme]



Latest revision as of 15:13, 3 May 2022

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