Każdy system ma konkretne i jednocześnie pożądane zachowania, które należy precyzyjnie opisać. Po ich identyfikacji możliwa staje się ich pogłębiona analiza, która stawia sobie za cel 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.