Pr-1st-1.1-m11-Slajd03

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 $correct(P_{i})$. 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 $\neg correct(P_{i})=True$.

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