Pr-1st-1.1-m11-Slajd03

Z Studia Informatyczne
Wersja z dnia 16:06, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Proces poprawny i niepoprawny

Proces poprawny i niepoprawny


Proces będziemy nazywać poprawnym, jeżeli działa zgodnie z algorytmem (specyfikacją). Przyjmiemy przy tym, że w przypadku takiego procesu zachodzi predykat . W przeciwnym razie, tzn. gdy proces nie działa zgodnie z algorytmem (a więc również z oczekiwaniami) mówimy, że proces jest niepoprawny (jego zachowanie odbiega od oczekiwanego). W szczególności niepoprawny proces może nie działać w ogóle. Niepoprawne działanie procesu oznaczać też będzie, że .


<< Poprzedni slajd | Spis treści | Następny slajd >>