Direkt zum Inhalt

Programmverifikation

GEPRÜFTES WISSEN
Über 200 Experten aus Wissenschaft und Praxis.
Mehr als 25.000 Stichwörter kostenlos Online.
Das Original: Gabler Wirtschaftslexikon

zuletzt besuchte Definitionen...

    Ausführliche Definition

    1. Begriff der Informatik:
    (1) formale Vorgehensweise mit dem Ziel, die Korrektheit eines Programms bzw. Moduls zu beweisen;
    (2) Forschungsgebiet, das sich mit Methoden des Korrektheitsbeweises beschäftigt.

    2. Motivation: Da mit dem gebräuchlichen Testen eines Programms die Korrektheit nicht garantiert werden kann, wurde nach Möglichkeiten gesucht, als Ersatz oder in Ergänzung die Korrektheit durch theoretische Analyse des Programmtexts zu beweisen.

    3. Voraussetzungen:
    (1) eine formale Spezifikation der Aufgabe des Programms bzw. Moduls;
    (2) eine formale Beschreibung der Semantik einer Programmiersprache.

    4. Vorteil: Korrektheit wird bewiesen, nicht nur unterstellt wie beim Testen.

    5. Nachteil: Programmverifikation von Hand ist extrem aufwendig; lässt sich nur bei sehr kleinen Programmen anwenden, bei größeren Programmen nicht praktikabel. Intensive Forschungsbemühungen in der Informatik, die Programmverifikation so weit wie möglich zu automatisieren.

    zuletzt besuchte Definitionen...

      Mindmap Programmverifikation Quelle: https://wirtschaftslexikon.gabler.de/definition/programmverifikation-46218 node46218 Programmverifikation node40077 Modul node46218->node40077 node48936 Testen node46218->node48936 node43166 Programm node46218->node43166 node30636 Daten node37410 Modularisierung node40077->node37410 node42515 Software Engineering node40077->node42515 node31993 Implementierung node40077->node31993 node42515->node48936 node27383 Bottom-up-Prinzip node27383->node48936 node48936->node31993 node48936->node43166 node54262 Mensch node54262->node43166 node43166->node30636 node38490 Informatik node43166->node38490 node40285 Künstliche Intelligenz (KI) node40285->node46218 node34474 Heuristik node40285->node34474 node54088 Wearables node54088->node38490 node54079 Mensch-Maschine-Interaktion node54079->node38490 node54080 Wirtschaft node54080->node38490 node38490->node46218 node38490->node40285 node54248 Chatbot node54248->node43166 node54248->node40285 node54195 Digitalisierung node54195->node40285 node42460 Spezifikation node42460->node40077
      Mindmap Programmverifikation Quelle: https://wirtschaftslexikon.gabler.de/definition/programmverifikation-46218 node46218 Programmverifikation node38490 Informatik node46218->node38490 node43166 Programm node46218->node43166 node48936 Testen node46218->node48936 node40077 Modul node46218->node40077 node40285 Künstliche Intelligenz (KI) node40285->node46218

      News SpringerProfessional.de

      Literaturhinweise SpringerProfessional.de

      Bücher auf springer.com

      Sachgebiete