Co chcemy sprawdzić?

• Brak sytuacjii błędnych (bus watcher sygnalizuje błąd, gdy widzi nieoczekiwaną sytuację na szynie)

• Brak blokady (grupa bus watcherów nigdy nie osiągnie stanu “shared” lub “owned”)

• Wszystkie żądania kiedyś będą obsłużone

Notatki: