|
Programmverifikation
| |
| Vorwort Hier finden Sie Informationen über die Autoren und den Sinn und Zweck dieses Vortrages |
| Einführung In diesem Kapitel erhalten Sie eine Einführung in die Grundlagen des Themas Programmverifikation. Was ist das überhaupt und wozu benötigt man es? Welche Vorbereitungen müssen getroffen werden? |
| Tests und Methoden In diesem Kapitel werden die diversen Tests und Methoden der Programmverifikation erläutert. |
| Einsatz der Software und Betriebsbewährtheit Hier wird Ihnen genau erläutert, wie die Fehlererfassung und Fehlerbehandlung funktioniert. |
| Informelle Nachweisverfahren In diesem Kapitel lernen Sie die Vorgehensweise der Verfahren Inspektionen, Reviews und Walkthroughs kennen. |
|
| Programmkorrektheitsbeweis Hier wird Ihnen gezeigt, wie Sie beweisen können, ob ein Programm korrekt funktioniert. |
|
spotlight on... |
Hier stellen wir Ihnen aktuelle Literatur vor, welche sich ausschließlich mit dem Thema Programmverifikation befassen.
|
Download |
http://stud.fh-wedel.de/~ia7584/vortrag/verifikation.tgz
Hier könnt ihr diese HTML Seiten gepackt runterladen.