4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
4.3 Vorgehensweise bei der formalen <strong>Software</strong>entwicklung<br />
ST II<br />
Verifikation der Sicherheitsanforderungen<br />
Informell:<br />
– Systematisches Testen und Inspektion<br />
– Gefahr verborgener Fehler<br />
Formal:<br />
– Nachweis mathematischer Aussagen<br />
L_SPEC erfüllt S_SPEC<br />
A_SPEC erfüllt L_SPEC<br />
– erfolgreicher Beweis garantiert Fehlerfreiheit<br />
– Fehlersuche und -Korrektur durch Fehlschlaganalyse<br />
© 2013 IAS, Universität Stuttgart 191