Program częściowo poprawny względem asercj
Ostatnio zmodyfikowano 2012-01-26 00:04
Marys Temat założony przez niniejszego użytkownika |
Program częściowo poprawny względem asercj » 2012-01-26 00:04:40 Witam,
mam o to taką treść zadania:
"Czy podany program jest częściowo poprawny względem asercji?" i tutaj parę przykładów:
Przykład nr 1
{x=y} if x>4 then x:=x+2 else x:=x-1 {x<y}
Przykład nr 2
{x=y} if x>5 then x:=x+3 else x:=x-1 {x<y}
Proszę o wyjaśnienie jak to sprawdzać. Ostatnio też widziałem gdzieś pętle która się nigdy nie kończy. Nie wiem czy to jakoś logiką horea trzeba czy jak?
|
|
| « 1 » |