Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:korrektheit

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: 2017/09/26 10:20 (Externe Bearbeitung)

Seiten-Werkzeuge