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 im Online-Lexikon

    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.

    Mit Ihrer Auswahl die Relevanz der Werbung verbessern und dadurch dieses kostenfreie Angebot refinanzieren: Weitere Informationen

    Mindmap "Programmverifikation"

    Hilfe zu diesem Feature
    Mindmap Programmverifikation Quelle: https://wirtschaftslexikon.gabler.de/definition/programmverifikation-46218 node46218 Programmverifikation node48936 Testen node46218->node48936 node40077 Modul node46218->node40077 node43166 Programm node46218->node43166 node38490 Informatik node46218->node38490 node30636 Daten node31993 Implementierung node48936->node31993 node48936->node43166 node43712 Softwaresystem node42515 Software Engineering node42515->node48936 node37410 Modularisierung node40077->node43712 node40077->node42515 node40077->node37410 node40077->node31993 node54248 Chatbot node54248->node43166 node54262 Mensch node54262->node43166 node40285 Künstliche Intelligenz (KI) node40285->node46218 node34474 Heuristik node40285->node34474 node43166->node30636 node43166->node38490 node54034 Human Enhancement node54034->node38490 node54080 Wirtschaft node54080->node38490 node38490->node40285 node54088 Wearables node54088->node40285 node54088->node38490 node50418 Verantwortung node50418->node40285 node54195 Digitalisierung node54195->node40285 node27383 Bottom-up-Prinzip node27383->node48936
    Mindmap Programmverifikation Quelle: https://wirtschaftslexikon.gabler.de/definition/programmverifikation-46218 node46218 Programmverifikation node38490 Informatik node46218->node38490 node43166 Programm node46218->node43166 node40077 Modul node46218->node40077 node48936 Testen node46218->node48936 node40285 Künstliche Intelligenz (KI) node40285->node46218

    News SpringerProfessional.de

    Literaturhinweise SpringerProfessional.de

    Bücher auf springer.com

    Sachgebiete