Invariante (Informatik)

Invariante (Informatik)

Eine Invariante ist eine Aussage, die über die Ausführung bestimmter Programmbefehle hinweg gilt. Sie ist also vor und nach diesen Befehlen wahr, sie ist demnach nicht veränderlich, also invariant. Invarianten können zum Beweis der Korrektheit von Algorithmen verwendet werden und spielen eine große Rolle im Design By Contract. Dabei werden für eine Methode einer Schnittstelle deren Vor- und Nachbedingungen und alle Invarianten in ihrem Ablauf beschrieben. Mittels so genannter Assertions (Zusicherungen) kann man dieses Konzept implementieren, sofern es die verwendete Programmiersprache oder API unterstützt.

Siehe auch: Schleifeninvariante

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Invariante — Invarianz ist die Unveränderlichkeit von Größen. Das zugehörige Adjektiv lautet invariant. Der Begriff wird in folgenden Wissenschaften verwendet: Physik und Mathematik als Invarianz gegenüber Transformationen, siehe Symmetrie (Physik), Beispiel …   Deutsch Wikipedia

  • Assertion (Informatik) — Eine Zusicherung oder Assertion (lat./engl. für Aussage; Behauptung) ist eine Aussage über den Zustand eines Computer Programms oder einer elektronischen Schaltung. Mit Hilfe von Zusicherungen können logische Fehler im Programm oder Defekte in… …   Deutsch Wikipedia

  • Invariant — Invarianz ist die Unveränderlichkeit von Größen. Das zugehörige Adjektiv lautet invariant. Der Begriff wird in folgenden Wissenschaften verwendet: Physik und Mathematik als Invarianz gegenüber Transformationen, siehe Symmetrie (Physik), Beispiel …   Deutsch Wikipedia

  • Invarianzprinzip — Invarianz ist die Unveränderlichkeit von Größen. Das zugehörige Adjektiv lautet invariant. Der Begriff wird in folgenden Wissenschaften verwendet: Physik und Mathematik als Invarianz gegenüber Transformationen, siehe Symmetrie (Physik), Beispiel …   Deutsch Wikipedia

  • Invarianz — ist die Unveränderlichkeit von Größen. Das zugehörige Adjektiv lautet invariant. Der Begriff wird in folgenden Wissenschaften verwendet: in Physik und Mathematik im Zusammenhang mit Transformationen Verschiebung und gleichförmige Bewegung der… …   Deutsch Wikipedia

  • Design By Contract — (englisch Entwurf gemäß Vertrag) oder kurz DBC ist ein Konzept aus dem Bereich der Softwareentwicklung. Ziel ist das reibungslose Zusammenspiel einzelner Programmmodule durch die Definition formaler Verträge zur Verwendung von Schnittstellen, die …   Deutsch Wikipedia

  • Design by Contract — (englisch Entwurf gemäß Vertrag) oder kurz DBC ist ein Konzept aus dem Bereich der Softwareentwicklung. Ziel ist das reibungslose Zusammenspiel einzelner Programmmodule durch die Definition formaler Verträge zur Verwendung von Schnittstellen, die …   Deutsch Wikipedia

  • Vertragsmodell — Design by contract (englisch Entwurf gemäß Vertrag) oder kurz DBC ist ein Konzept aus dem Bereich der Softwareentwicklung. Ziel ist das reibungslose Zusammenspiel einzelner Programmmodule durch die Definition formaler Verträge zur Verwendung von… …   Deutsch Wikipedia

  • Assert — Die Artikel Assertion (Informatik) und Zusicherung (Softwaretechnik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte… …   Deutsch Wikipedia

  • Doppelrotation — Ein AVL Baum mit Balance Angaben Ein AVL Baum ist eine Datenstruktur in der Informatik, genauer ein balancierter binärer Suchbaum. Als Invariante beim AVL Baum gilt, dass sich für jeden Knoten k die Höhen h1 und h2 der bei …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”