Fehlerfreie Programmierung

Dauer:

  2 Tage

Zielgruppe:

Entwickler

Voraussetzungen:

Logisches Verständnis

Ziele:

In der heutigen Zeit durchdringt die Computerisierung immer mehr alle Bereiche unseres Lebens. Vom Fernseher über die Mikrowelle bis hin zum Auto und zu der Arztpraxis: überall findet man Computer. Umso katastrophaler können sich deshalb auch Fehler in der Betriebs-Software der Maschinen auswirken. Die Gewichtung eines Software-Fehlers, der eine Mikrowelle dazu bringt, ein Essen zu verbrennen, hängt ganz stark von dem Individuum ab, welches die Mikrowelle bedient. Sollte aber z.B. das Anti-Blockier-System eines Autos oder ein Infundier-Apparat in einer Arztpraxis aufgrund eines Software-Fehlers nicht richtig funktionierten, kann es im schlimmsten Fall zum Verlust von Menschenleben kommen. Ein weiteres Problem stellen z.B. Finanztransaktionen dar. Fehler in Bankapplikationen können zu Milliardenverlusten führen.

Dieses Seminar zeigt Wege auf, um eine Fehlerquelle in der langen Kette von der Analyse bis zur fertigen Software zu eliminieren: den Programmierfehler. Was sich utopisch anhört ist möglich. Es existieren Möglichkeiten, um einen in einer beliebigen Sprache programmierten Algorithmus gegen eine formale Spezifikation zu verifizieren.
Dieser Workshop gibt eine Einführung in das Thema fehlerfreie Programmierung und zeigt, wie man mit relativ einfachen Mitteln die Korrektheit von Algorithmen beweisen kann.

Inhalte:

Grundlagen der fehlerfreien Programmierung
- Boolesche Logik
- Programmiersprachen-Konstrukte und ihre formale Repräsentation

Beweis der Korrektheit von Programmen
- Anwendung von Logik für den Korrekheitsbeweis

Konstruktion fehlerfreier Programme
- Von der formalen Spezifikation zum Programm

Leistungen:

- Seminardurchführung durch einen zertifizierten Trainer
- Trainingsunterlagen
- modulo3 -Teilnahmezertifikat
- Erfrischungen und Kaffeepausen
- Mittagsmenüs