Beschreiben Sie den Kontrollflussgraphen für folgendes Programm in Pseudo-Code, indem Sie die ausgehenden Kanten (bzw. die dadurch erreichbaren Knoten) als kommaseparierte Liste in der Tabelle eintragen. Der Kontrollflussgraph wird rechts automatisch dargestellt.
1max = 0; 2while (l != NULL) { 3 if (l->head > max) { 4 max = l->head; } 5 l = l->tail; E}
Welche der folgenden Testeingabemengen (für die Liste l) erreichen Statement-, Branch bzw. Decision-Coverage für den Code aus Aufgabe 1?
l
[1]
Statement Coverage Branch Coverage Decision Coverage
[], [0]
[1,2,3]
[2,1]
[1,2], [2,1]
Wieviele Pfade müssen durchlaufen werden um Path Coverage für das Beispiel aus Aufgabe 1 zu erreichen?
Welche der unten aufgeführten Testeingabemengen erreichen MC/DC für das folgende Programm?
if (A || B && C) println("Hallo");
A = true; B = false; C = true
A = false; B = true; C = false
A = false; B = true; C = true
A = false; B = false; C = true
A = true; B = true; C = false
A = true; B = false; C = false
Es werden keine Daten übertragen. Per Klick auf "Ergebnis speichern" kann eine Datei gespeichert werden, welche die eingegebenen Ergebnisse enthält. Diese Datei sendet ihr bitte rechtzeitig bis Dienstag 23:59:59 an martin (punkt) ring (klammeraffe) dfki (punkt) de. Ihr könnt eure Abgabe später auch wieder laden und ansehen indem ihr auf "Ergebnis laden" klickt.
