Itesys - Home
Verifikation & Validation
 Übersicht: Im Mittelpunkt der Veranstaltung stehen Methoden und Werkzeuge zur Verifikation und Validation von technischen Systemen. Mit anschaulichen und praktischen Beispielen wird ein Einblick in die Welt der Software- und Hardwareverifikation gewährt. Ergänzend werden Validationstechniken für die Phasen der Produktentwicklung vorgestellt.


 Themen:
 - Inspektionen und technische Reviews
 - Hardware- und Softwaretests
 - Qualitäts- und Testmetriken
 - Testautomatisierung und Model-Checking
 - Testdokumentation
 - Testnormen und Teststandards


Anhand von realen, kleinen Fallstudien wird das systematische Prüfen behandelt. Eine selbständige Testplanung, Testdurchführung und Testdokumentation einer Teeuhr und eines Pulsmessgeräts zeigen die Stärken und Schwächen verschiedener Methoden.