CoboCards App FAQ & Wünsche Feedback
Sprache: Deutsch Sprache
Kostenlos registrieren  Login

Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Alle Oberthemen / Informatik / Softwaretechnik / Softwaretechnik 1
102
100. Zeigen Sie an einem einfachen Beispiel, wie die symbolische Ausführung funktioniert!
    *  Im Beispiel ist eine Funkltion swap(a,b)=> a==b; b==a gezeigt
    * In dem Beispiel (rechts) zur symbolischen Ausführung zu nachstehendem Algorithmus werden
         x := x - y;                         (1)
         y := x + y;                        (2)
         x := y - x;                         (3)         
          o lateinische Bezeichner (x, y) für die Programmwelt, während
          o griechische Bezeichner () für die Symbolwelt stehen.
* Es werden Substitutionen von Variablen durch symbolische Ausdrücke verwaltet.         * Es ist zu zeigen, dass ausgehend von der Vorbedingung die Nachbedingung immer erfüllt ist.

 


Neuer Kommentar
Karteninfo:
Autor: noobMan
Oberthema: Informatik
Thema: Softwaretechnik
Veröffentlicht: 02.02.2010

Abbrechen
E-Mail

Passwort

Login    

Passwort vergessen?
Deutsch  English