Korrektheit

engl.: correctness

Bedeutung

Die Spezifikation kommt üblicherweise aus dem Entwurf bzw. den Anforderungen.

Zwei zentrale Eigenschaften:

  • Programm liefert die richtigen Ergebnisse, wenn es terminiert (partielle Korrektheit).
  • Programm terminiert für die zulässigen Eingaben.Beide Eigenschaften zusammen ergeben totale Korrektheit.
glossar/korrektheit.txt · Zuletzt geändert: 24.09.2014 16:47 (Externe Bearbeitung)
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki