Każdy system ma jasne i równocześnie oczekiwane zachowania, które należy dokładnie opisać. Po ich zidentyfikowaniu możliwa staje się ich pogłębiona analiza, która ma na celu dookreślenie wymagań i określenie czy nie znalazły się w systemie jakieś wymagania o charakterze sprzecznym lub te, których charakter jest nieprawidłowy.