Pr-1st-1.1-m11-Slajd29
Własności detektora
Detektory awarii charakteryzowane są przez dwie własności:
- kompletność (ang. completeness)
- dokładność (ang. accuracy)
Kompletność detektora związana jest z możliwością popełniania pomyłek pierwszego rodzaju – tzn., nie podejrzewania procesów niepoprawnych.
Dokładność detektora związana jest natomiast z możliwością pomyłki drugiego rodzaju – tj., podejrzewania przez detektor procesów, które są poprawne.
Zauważmy, że branie pod uwagę tylko jednej z tych własności nie jest wystarczające. W przypadku kompletności trywialny w implementacji detektor podejrzewający zawsze wszystkie procesy spełniałby zawsze własność silnej kompletności – podejrzewając wszystkie procesy, gwarantowałby, że podejrzewa również wszystkie procesy niepoprawne. Analogicznie trywialny przykład detektora nie podejrzewającego żadnego procesu można by przedstawić dla drugiej z własności. Na tej podstawie jasno widać konieczność uwzględniania obu własności.
