Symulator programu
Uruchamiamy Państwa program w symulatorze i podajemy mu wszystkie kombinacje sygnałów blokad oraz wszystkie stany i przejścia sekwencji. Symulator szuka sytuacji, w której program łamie regułę, np. „prasa nie ruszy przy otwartej osłonie”.
Zestaw testów zostaje u Państwa. Po każdej zmianie w programie można go uruchomić ponownie.
Od Państwa
Dla Państwa
9 wejść blokady = 512 kombinacji. Przy maszynie sprawdza się kilkanaście. Symulator sprawdza wszystkie i znajduje te 3.
Do każdego znaleziska dokładny przebieg: co się stało po kolei. ilustracja