Każdy system ma konkretne i jednocześnie pożądane zachowania, które należy dokładnie określić. Po ich zidentyfikowaniu możliwa staje się ich dokładna analiza, której celem jest uszczegółowienie wymagań i sprawdzenie czy nie znalazły się w systemie jakieś wymagania sprzeczne lub te, których charakter jest nieprawidłowy.