1280.139 계층적 FSM의 회귀 테스트 설계