예 를 들 어 , 이동 단말기 의 기능 적 상태 의 요구 된 다양 한 상태 가 제어 명령 집합 과 함께 정의 될 수 있 다 . 요구 된 상태 를 근거 로 하 여 , 이동 단말기 의 실제로 도달 한 기능 적 상태 가 올바른지 여부 를 검사 할 수 있 다 . 요구 된 / 실제 비교 를 통해 , 제 어 명령 집합 의 시퀀스 가 요구 된 결과 로 이끌 었 는지 여부 가 검사 될 수 있 다 .