실시간 모델 기반 테스트 케이스를 코드 테스트에 활용하기 위한 방법