Selektionsinvariante (Selektionen)
Entfernen Sie die Invarianten aus folgender Selektion. Mit anderen Worten: Welche Anweisungen könnten auch vor oder nach der Selektion stehen?
if(x < y)
{
print("kleiner")
a := einlesen()
}
else
{
print("größer")
a := einlesen()
}
0 Kommentare
2 Lösung(en)
if(x < y)
{
print("kleiner")
}
else
{
print("größer")
}
a := einlesen()
if(x < y) {
System.out.println("kleiner");
} else {
System.out.println("größer");
}
a = einlesen();
Lösung von: Philipp G. Freimann (BBW (Berufsbildungsschule Winterthur) https://www.bbw.ch)
Verifikation/Checksumme:
Die Programmanweisung a := einlesen() kann nach der Selektion stehen (post-invariant).
Aktionen
Neue Lösung hinzufügen
Bewertung
Durchschnittliche Bewertung:
Meta
Zeit: | 0.25 |
Schwierigkeit: | k.A. |
Webcode: | 3t94-v5nz |
Autor: | Philipp G. Freimann (BBW (Berufsbildungsschule Winterthur) https://www.bbw.ch) |