Programm schreiben

[TobiP]

hallo, ich bin bisschen ratlos.
das programm berechnet das produkt zweier natürlicher zahlen x und y.

int prod = 0; 
int count = 0; 
while (count > 0) { 
prod = prod + x 
count = count - 1; 
}

ich muss die vor- und nachbedingung zu der while-schleife formulieren und die invariante für die while schleife angeben. Was meinen die mit der invariante?

 

[mic_checker]

Bei der Schleifeninvariante ist der Wahrheitswert unabhängig vom Schleifendurchlauf.

 

[TobiP]

wäre es denn für die vorbedingung der while schleife richtig wenn ich schreiben würde

int prod = 0; 
int count = y; 
if (y<0) { // als vorbedingung der while-schleife 
System.out.println ("Bitte zahl neu eingeben"); 
return; 
} 
if (y > 0) { 
while (count > 0) { 
prod = prod + x 
count = count - 1; 
} 
if (x < 0) { // als nachbedingung der while schleife 
System.out.println ("Bitte zahl neu eingeben"); 
return; 
}

dass mit der invariante verstehe ich nicht.

 

[Jockel]

Zur Definition des Begriffs Invariante: http://thema.aboutit.de/view.php?ziel=/thema/korrektheit/invariante.html

 

[TobiP]

hi, dankeschön, zu invariante habe ich schon was gefunden. Ist denn das programm richtig, was ich geschrieben habe?