Quiz zur Vorlesungsnachbereitung

Quiz 1: Anweisungsüberdeckung C0

Gegeben sei obige Methode mit dem angegebenen Kontrollflussgraphen.
Welche der folgenden Aussagen sind korrekt?

Der angegebene Graph ist normalisiert.

Mit dem Parameterwert 0 wird eine C0-Überdeckung von 3/6 erreicht.

Mit dem Parameterwert 1 wird eine C0-Überdeckung von 5/6 erreicht.

Mit dem Parameterwert 2 wird eine C0-Überdeckung von 6/6 erreicht.

Für diese Methode gilt, wenn eine vollständige C0-Überdeckung erreicht wird, ist das auch eine vollständige C1-Überdeckung.

Gegeben sei obige Methode mit dem angegebenen Kontrollflussgraphen (wie vorher).
Welche der folgenden Aussagen sind korrekt?

Im Graphen fehlt für die Zweigüberdeckung eine Kante.

Mit dem Parameterwert 0 wird eine C1-Überdeckung von 3/7 erreicht.

Mit dem Parameterwert 1 wird eine C1-Überdeckung von 5/7 erreicht.

Mit dem Parameterwert 2 wird eine C1-Überdeckung von 6/7 erreicht.

Für diese Methode gilt, wenn eine vollständige C1-Überdeckung erreicht wird, ist das auch eine vollständige C3-Überdeckung.

Gegeben sei folgender Boolescher Ausdruck (ohne Kurzschlussauswertung).

 (x > 10 | y > 20) & x < 30

Welche der folgenden Aussagen sind korrekt?

Mit den Werten x=1 und y=2 sowie x=13 und y=1 wird eine C2-Überdeckung von 4/6 erreicht.

Mit den Werten x=1 und y=2 sowie x=23 und y=1 wird eine C2-Überdeckung von 5/6 erreicht.

Mit den Werten x=1 und y=2 sowie x=33 und y=21 wird eine C2-Überdeckung von 6/6 erreicht.

Mit den Werten x=1 und y=2 sowie x=33 und y=21 wird eine C3-Überdeckung von 8/8 erreicht.

Für das Beispiel kann man keine zwei Wertepaare finden, so dass eine C3-Überdeckung von 8/8 erreicht wird.

Gegeben sei obige Methode mit dem angegebenen erweiterten Kontrollflussgraphen (wie vorher).
Welche der folgenden Aussagen sind korrekt?

Der Knoten 2 wird mit def(x) markiert.

Es gibt 4 verschiedene Kanten, die mit p-use(x) markiert werden.

Es gibt 2 verschiedene Knoten, die mit c-use(x) markiert werden.

Es gilt dpu(x,in) = {(2,3), (2,6), (3,4), (3,5), (4,5)}.

Es gilt dcu(erg,1) = {4, 6}.