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 node32169 formale Spezifikation node46218->node32169 node48936 Testen node46218->node48936 node38490 Informatik node46218->node38490 node40077 Modul node46218->node40077 node43166 Programm node46218->node43166 node42515 Software Engineering node42460 Spezifikation node32169->node42515 node32169->node42460 node32169->node40077 node43712 Softwaresystem node32169->node43712 node47647 Test node47647->node48936 node49133 Systemtest node49133->node48936 node29264 Black-Box-Test node29264->node48936 node37007 Markttest node48936->node37007 node48936->node40077 node35118 Enterprise JavaBean node35118->node40077 node41528 Modulschnittstelle node40077->node42515 node40077->node41528 node44932 Roboter node44932->node43166 node45182 Programmierstil node45182->node43166 node43882 Prolog node43882->node43166 node43166->node38490 node37739 Komplexitätstheorie node37739->node38490 node49843 Telematik node49843->node38490 node54198 Robotik node54198->node38490 node54555 Roboterphilosophie node54555->node38490
      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 node32169 formale Spezifikation node46218->node32169

      News SpringerProfessional.de

      • US-Strafzölle treffen deutsche Industrie

        Sie hängen wie ein Damoklesschwert über Europa: die drohenden US-Strafzölle. Noch ist die EU von den Schutzzöllen auf Stahl und Aluminium bis zum 1. Juni ausgenommen. Doch jetzt droht Donald Trump auch noch mit Zöllen auf Autos.

      • "Bei der Kandidatensuche Kompromisse machen"

        Der vom Personaldienstleister Hays quartalsweise publizierte Fachkräfte-Index, der unter anderem die aktuellen Stellengesuche im Umfeld von Banken und Finanzdienstleistern beobachtet, erreichte im ersten Quartal 2018 den höchsten Indexwert seit 2015. Was das für die Geldhäuser bedeutet, erklärt Amra Ljaic im Interview mit Springer Professional.

      • Was Arbeit in Europa kostet

        Für eine Arbeitsstunde zahlt die deutsche Wirtschaft durchschnittlich 34,1 Euro. Doch bei den Arbeitskosten gibt es zwischen den EU-Mitgliedstaaten deutliche Unterschiede: Es geht noch teurer – aber auch viel billiger.

      • "Das Silicon Valley ist nicht über Nacht entstanden"

        Wenn es ein Digitalisierungs-Mekka gibt, in das deutsche Manager pilgern, ist es das Silicon Valley. Was Unternehmen von den US-Vorreitern lernen und ob sie die 180-Grad-Wende schaffen können, beantworten Sven Grote und Rüdiger Goyk im Gespräch.

      • Utility 4.0 – mehr als eine Worthülse?

        Vierpunktnull auf Teufel komm raus. Kein Themengebiet scheint heute ohne das Zahlenkürzel '4.0' auszukommen. Mit Utility 4.0 ist dieses Phänomen nun auch im Energiesektor angekommen. Zu Recht?

      • Das blaue Jobwunder der Digitalisierung

        Immer mehr Studien prognostizieren, dass die digitale Transformation insgesamt keine Arbeitsplätze kostet. Denn es entstehen auch jede Menge neue Jobs. Die erfordern jedoch andere Kompetenzen.

      • Starke Teams lassen Risiken zu

        "Werde eins mit deinem Projekt", proklamierte vor Jahren eine Baumarktkette. Ein kerniger Slogan, der seine Parallele in einer Google-Studie findet: Teammitglieder die risikobereit in ihrer Aufgabe aufgehen, arbeiten effektiver.

      • "Freibeträge in Abfindungsregelungen wieder einführen"

        Seit 1. Januar gilt die Institutsvergütungsverordnung (IVV). Mit ihr wurden in erster Linie die Anforderungen der Leitlinien der Europäischen Bankenaufsichtsbehörde EBA für eine solide Vergütungspolitik in deutsches Recht umgesetzt. Wie sich das auf die Personal- und Abfindungsstrategien bei den Banken auswirkt, erklärt Jurist Christoph Abeln im Interview.

      Autoren der Definition und Ihre Literaturhinweise/ Weblinks

      Prof. Dr. Richard Lackes
      Technische Universität Dortmund,
      LS für Wirtschaftsinformatik
      Universitätsprofessor
      Dr. Markus Siepermann
      Technische Universität Dortmund,
      LS für Wirtschaftsinformatik
      Wissenschaftlicher Mitarbeiter

      Literaturhinweise SpringerProfessional.de

      Springer Professional - Die Flatrate für Fachzeitschriften und Bücher
      Ein grundlegendes Problem der Software-Technik ist nachzuweisen, daß erstellte Programme tatsächlich den Anforderungen genügen. In der Praxis gelingt strenge und verläßliche Programmverifikation nur in den seltensten Fällen. Als bewährte formale …
      Die Ziele des Kurses über Programmverifikation bestehen in der Herausarbeitung von Ansatzpunkten für Verifikationsmethoden zur Sicherung der Zuverlässigkeit von Software, die Darstellung grundlegender Konzepte und deren Integration in …

      Sachgebiete