Pr-1st-1.1-m11-Slajd28

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Formalna definicja detektora awarii

Formalna definicja detektora awarii


Zbiór możliwych historii oznacza sumę mnogościową wszystkich możliwych historii detektora awarii, które mogły się przydarzyć z wzorcem awarii i detektorem awarii .

Detektor awarii jest to funkcja odwzorowująca wzorzec awarii w zbiór możliwych historii detektora awarii .

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