3110398954

Wytyczne modelowania obiektów reaktywnych

ki Ustalenie otoczenia maszyny stanowej: klasa, przypadek użycia, cały system to Pokaż stan początkowy i końcowy obiektu; warunki wstępne i końcowe li Odnalezienie stanów stabilnych obiektu i ustalenie ich hierarchii (top-down) to Ustal znaczący porządek częściowy stanów stabilnych w historii życia obiektu to Wskaż zdarzenia, które mogą uruchamiać przejścia międzstanami li Skojarz akcje z przejściami (automat Mealy’ego) lub ze stanami (Moore’a) li Postaraj się uprościć maszyny stanów przez użycie podstanów, rozgałęzień, rozwidleń, scaleń i stanów wznowienia

to Sprawdź czy wszystkie stany są osiągalne pod wpływem pewnej kombinacji zdarzeń

li Sprawdź, czy nie ma stanów-pułapek, to znaczy takich których nigdy nie da się opuścić

li Zweryfikuj działanie zbudowanej maszyny stanowej, ręcznie lub automatycznie (idostępne narzędzia), porównując z pożądanym ciągiem zdarzeń i reakcji

Inżynieria Oprogramowc