C0 und C1 Test nochmal

[DrippleTripple]

Hallo,

hier habe ich eine Aufgabe mit Lösung über die Test gefunden.

Und irgendwie verstehe ich nicht wieso Antwort C0=3 und C1=4 ist.

Nach meinem Definitionsverständnis brauche ich für jede Anweisung einen durchlauf sprich für C0 jeweils einmal für das if und dann noch einmal für das switch in diesem Falle. Also gesamt 3 mal if und 1 mal switch = 4mal CO

Für C1 dann noch zusätzlich noch im dritten if der Fall dass x>y ist und natürlich alle switch Möglichkeiten also noch 2 zusätzlich ich hätte also gesagt 7 mal C1 durchführen.

Oder wo ist mein Gedankenfehler?

Das folgende Programmfragment soll getestet werden.

if (x < 0) x = -x;
if (y < 0) y = -y;
if (x < y) {
max = y;
min = x;
}
else {
max = x;
min = y;
}
switch (max % min) {
case 0: r = 0;
break;
case 1: r = -1;
break;
case 2: r = 1;
break;
}

a) Wie viele Testläufe sind für einen Überdeckungstest nach C0 mindestens erforderlich?
Geben Sie konkrete Werte für die Variablen x und y an, um diesen C0-Test
durchzuführen.
b) Wie viele zusätzliche Läufe werden für einen C1-Test mindestens benötigt? Geben
Sie entsprechende Werte für x und y an.
Lösung: Um einen C0-Test durchzuführen, sind mindestens 3 Programmläufe erforderlich.
Ein weiterer Programmlauf wird benötigt, um das Programmfragment nach C1 zu testen.
Mögliche Testwerte enthält die folgende Tabelle:
x y
C0 −1 −7
−7 −2
−5 −7
C1 4 7

 

[DrippleTripple]

also vielleicht mal überhaupt eine verständnis frage.

was ist eine anweisung laut C0 und eine Verzweigung laut C1???

Heißt es

if{bla bla}
else{bla bla}

if ist eine anweisung und else eine Verzweigung?

genauso wie bei

switch{bla bla...

case 0: bla bla...

case 1: bla bla

das heir swithc mit case 0 eine anweisung und case 1 eine verzweigung?

 

[hdi]

Also nach kurzem Überfliegen des Wiki-Artikels über solche Tests, scheint es mir
dass du das falsch verstehst.

Es geht hier darum: Wie kannst du die Variablen so wählen, dass möglichst wenige
Anweisungen ungetestet bleiben. Also das möglichst jede Anweisung ausgeführt wird.
Es reicht dafür nur ein Bsp zu nennen.

zB x = -2 und y = -3

Die ersten beiden Bedingungen sind true, also werden die Anweisungen ausgeführt.
Bisher deckt dieser Test also schon mal 100% der möglichen Anweisungen ab.
x < y ist auch true (x und y werden ja negiert), also wird auch der if-Block
durchfgeführt.

So, jetzt kann aber der else-Block nicht durchgeführt werden, d.h. wir wir müssen
das Programm schon mal mindestens mit anderen Werten nochmal starten, d.h.
bisher haben wir bei C0 = 2 Programmstarts, um alle Anweisungen getestet zu haben.

NAch dem else kommt das switch, in diesem Falle gilt 3%2 = 1.
Die anderen beiden cases greifen nicht, d.h. das hat dieser Test auch nicht abgedeckt.

Nun starten wir das Programm nochmal, diesmal mit

x = -3 und y = -3

hier greift nun das else, weil 3 == 3. Das ist nun also im 2.Durchlauf abgedeckt.

weiterhin ergibt 3%3 = 0, d.h. dieser case ist auch fertig.

Nun gibt es nur noch eine einzige Anweisung, die in den 2 Tests nie ausgeführt wurde,
und zwar der case mit Rest = 2.

Mit einem dritten Programmstart und geschickt gewählten Variablen, zB
x = -4 und y = -6, hast du den auch.

Also insgesamt C0 = 3, da du mit 3 Programmstarts jede Anweisung mal getestet hast.

Analog dazu funzt das dann wohl mit C1, ich hab jetz im Artikel nicht weitergelesen
was das ist. Wird aber sicherlich auch Sinn machen dann

 

[DrippleTripple]

ja und jetzt halt noch mal die frage ob ich mit C0 schon alle else anweisungen und switch case anweisungen prüfe??? Oder wenn C0 das schon hergibt dann ist das halt so für die anderen brauche ich dann c1???


oder ob C1 das macht???


richtig?

 

[DrippleTripple]

also folgendes einfaches beispiel.

if (x<5){
x++;}
else{
x--}

dann ist meinetwegen C0 x=3
und C1 dann x=7?

richtig?

also was ist nochmal mit alle anweisungen alle vezweigungen gemient? das beispiel bei wikipedia ist sehr ungünstig.

 

[DrippleTripple]

hi,

na kann jemand nochmal kommentieren?

 

[hdi]

Also, ich empfehle dir nochmal den Artikel gründlich zu lesen oder woanders Infos
einzuholen, denn was ich jetzt sage ist auch nicht unbedingt zu 100% richtig, sondern
nur so wie ich das jetz auf die Schnelle verstehe:

Beim C0 Test ist die Frage, wie oft du ein Programm neustarten musst, mit
verschiedenen Variablen, bis jede Anweisung im Programm mindestens einmal
ausgeführt wurde (in allen Testläufen zusammen).

Es geht also beim C0 Test darum, herauszufinden, ob eine Anweisung niemals
ausgeführt werden kann. Deshalb reicht es, mit irgendwelche Variablen-Konstellationen
zu zeigen, dass alle ausgeführt werden können.
In unserem Bsp vorhin haben wir mit 3 Durchläufen gezeigt: Es ist möglich,
jede Anweisung im Code zu erreichen.

Der C1 Test impliziert den C0 Test, d.h. als erstes musst du den C0-Test
durchführen.
Danach wählst du die Variablen möglichst so, dass Anweisungen nicht
ausgeführt werden. D.h. jede Bedingung soll false ergeben.

Und deswegen hast du in deinem Bsp beim C1 Test auch 4 Testläufe:
3 davon kommen vom C0 Test, der ja zum C1 Test gehört, und der letzte
wäre zB mit:

x = 19 und y = 11

...da ergibt dann nämlich max%min einen Rest von 8, und dieser Fall ist nicht
abgedeckt, weil es dafür keinen case gibt. Für diesen Fall und alle weiteren
Restbeträge >2, die ja nicht abgefangen werden, ist dein "r" also 0, bzw. mit
was auch immer es initialisiert wurde.

Und das ist dein 4.Testdurchlauf.

Wie gesagt: Ich bin mir nicht 100% sicher, aber ich denke schon, dass das damit
gemeint ist. Macht zumindest Sinn.

 

[Spacerat]

Hat das irgendwas mit diesem hier zu tun?

 

[DrippleTripple]

HI,

ja hat es. Aber ich verstehe halt diese Unterscheidung zwischen C0 und C1 nicht ist für mich doch sehr schwammig.

Und diese kurzen Beispiel wie auch ind er PPT sind nun nicht wirklich aufschlussreich.

Ich glaube ich verstehe einfach den Unterschied zwischen Anweisung und Verzweigung nicht....

Hat das jemand verstnden?

 

[hdi]

Ja das war im Wiki Artikel auch etwas unklar.
Eigentlich is ne Anweisung alles, was mit einem ";" endet,
wobei man Anweisungen auch je nach Konstrukt ohne Strichpunkt schreiben kann.

Eine Anweisung ist halt einfach etwas, das das Programm ausführt.

Ein Zweig ist nur ein Begriff für eine Bedingung mit einer Ansammlung von Anweisungen,
die ausgeführt werden wenn diese Bedingung zutrifft.

Im Bsp bei Wiki testen die halt immer noch,
ob das Programm korrekt bleibt wenn gewisse Anweisungen - gezielt - nicht
ausgeführt werden.