Kurz-
beschreibung |
Softwareentwürfe und Programme gewinnen an Qualität, wenn sie mit Hilfe formaler Methoden überprüft werden. Meist werden diese nur in besonders sicherheitskritischen Anwendungsbereichen eingesetzt, wie etwa in der Luft- und Raumfahrtindustrie, im Automobilbau oder in der Medizintechnik. Bei betrieblichen Informationssystemen beschränkt sich die Qualitätssicherung im wesentlichen auf Reviews und auf Softwaretests. Der Einsatz formaler Methoden im klassischen Sinne ist mit einem deutlich erhöhten Aufwand verbunden.
Leichtgewichtige formale Methoden jedoch bieten sich als ökonomisch sinnvoller Kompromiss an. Das Projekt FMSE beschäftigt sich mit der Frage: Wie gut eignen sich leichtgewichtige formale Methoden tatsächlich für die Überprüfung von fachlichen und technischen Konzepten in realen Softwareentwicklungsprojekten? |
|
