C0 und C1 Test

[DrippleTripple]

Hi,

kann mir jemand an diesem Beispiel die Funktionsweise dieser tests erklären? Bzw. dass was ich hier versuche mal zu kommentieren.

Also der C0 Test ist ja für jede Anweisung gedacht. Sprich also wenn ich eine If-Anweisung habe, reicht es wenn ich einmal die erste Bedingung prüfe`? Richtig? Und bei C1 muss ich alle möglichen Vekettungen prüfen? Sprich dann auch die else und if else prüfen???

Also ich schreibe dann einfach in Grün danebebn für C0 und in blau für C1, bitte um Kommentierung.

Die folgende Methode soll getestet werden:
​

static int f(int x) {
int s = 0,
y = 0;
if (x > 0) { setze x = 3 setze x=4
if (x%2 == 0) { x=4
y = x/2;
}
else {
y = 2*x; x=4
}
}
else {
x = -x; x = 4
if (x%2 == 0) { x=2
y = x/2;
}
}
switch (y%3) {
case 1: s = 1; break;
case 2: s = 2; break;
default: s = 3; break;
}
}​

a) Wie viele Testläufe sind für einen Überdeckungstest nach C0 mindestens erforderlich?
Geben Sie konkrete Werte für den Parameter​

x an, um einen 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 an.

 

[alphaChill]

int s = 0,
		y = 0;
		if (x > 0) { // Wenn x größer null ist...
		if (x%2 == 0) { // ...wird geprüft, ob x durch 2 teilbar ist, wenn ja...
		y = x/2; // ... erhält y den Wert x/2 (also wenn x = 10 ist, wäre y = 5, ist hoffentlich logisch)
		}
		else { // ... wenn x nicht durch 2 teilbar ist...
		y = 2*x; //... erhält y den Wert x*2 (also wenn x = 10 ist, wäre y = 20, ist hoffentlich auch logisch)
		}
		}
		else { //... wenn x kleiner null ist...
		x = -x; //... wird x mit -1 multipliziert... Ausgeschrieben steht hier: "x = x * -1;"
		if (x%2 == 0) { // Nun wird wieder geprüft, ob x durch 2 teilbar ist...
		y = x/2;// ... wenn ja, dann erhält y den Wert x/2 (also wenn x = 10 ist, wäre y = 5, ist hoffentlich wieder logisch)
		}
		}
		switch (y%3) {
		case 1: s = 1; break; // wenn Rest 1 aus der Rechnung "y%3", wird Fall 1 aufgerufen...
		case 2: s = 2; break; // wenn Rest 2 aus der Rechnung "y%3", wird Fall 1 aufgerufen...
		default: s = 3; break; // sonst wird default aufgerufen.
		}

Der Operator "%" ist der Modulo-Operator. Was er genau macht, wurde dir wahrscheinlich in der 4. Klasse mal erklärt ;-)
Das Ergebis dieses Rechen-Operators ist der Rest einer Division.

Beispiele:
9/2 = 4 Rest 1
14/3 = 4 Rest 2
19/5 = 3 Rest 4

Tipp: Den Code hättest du auch selbst testen können ;-) Einfach an entsprechenden Stellen ein "System.out.println(x)" oder "System.out.println(y)" eingesetzt und mittels for-Schleife mal die Zahlen -5 bis +5 getestet.

 

[DrippleTripple]

Ach so ja... das Programm habe ich ja mal laufen lassen. Was rest und modulo ist weiß ich natürlich!

Aber mit diesen C1 und C0 Tests habe ich halt mein schwieirgkeiten.

Also ein einfacheres Bsp.

if {
Anweisung 1 von x;
}
else{
if{
Anweisung 2 von x;
}
else Anweisung 3 von x;
}}

Also würde für C0 heißen, dass ich einfach das erste If erfüllt habe, dann ist gut und die komplette schleife ist getestet?

Und für C1 muss ich dann jedes else dann auch noch testen, also beim Testen ausführen???

Richtig?

Sprich für C0 ein durchlauf ausreichend und für C1 dann 3 Durchläufe?

 

[alphaChill]

Also wie das mit C1 und C0 geregelt ist, geht für mich nicht eindeutig aus dem Kontext hervor. Aber nehemn wir an, es wäre so, wie du es sagt, dass C0 bei der ersten if-Abfrage "true" ist und C1 bei der ersten if-Abfrage "false" und bei er zweiten "true" würde es wie folgt aussehen:

Wenn if-Abfrage 1 trure ist, wird x einmal geändert
Wenn if-Abfrage 1 false ist, passiert mit x erstmal nichts und man gelangt automatisch in den "else-Bereich"
Wenn if Abfrage 2 nun true ist, wird nun x geändert

Also kann, würde ich sagen, C0 = 1 Durchlauf und C0 = 2 Durchläufe...