Pr-1st-1.1-m11-Slajd03

Z Studia Informatyczne
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 >>