4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
4.2 Grundlagen der formalen Spezifikation und Verifikation<br />
ST II<br />
Korrektheit von Programmen<br />
1. Partielle Korrektheit<br />
– Wenn ein Ergebnis abgeliefert wird, ist es korrekt bezüglich<br />
der Problemstellung<br />
– Keine Garantie, dass Ergebnis abgeliefert wird<br />
2. Terminierung<br />
– Programm kommt zum Ende<br />
– Partielle Korrektheit + Terminierung = Totale Korrektheit<br />
3. Keine Laufzeitfehler<br />
– Bsp.: Division durch “0”, Überlauf<br />
© 2013 IAS, Universität Stuttgart 179