개발 전에 시스템 검증을 위한 방안으로, 사용자의 요구사항을 M&S(모델&시뮬레이션)[3,4]을 통해 가상화 한다. 이를 통해 실물 테스트를 하기 위해 가상의 테스트 케이스를 도출하려한다. 이를 위해 테스트 케이스 도출 절차 방법을 제안한다. 이 도출 절차 방법은 Use-Case Diagram(유즈케이스 다이어그램)으로 부터 Sequence Diagram(순차적 다이어그램)을 만들고 그리고 Cause-Effect Diagram(코우즈-이펙트 다이어그램)을 추출한다. 이로 부터 Decision Table(결정 테이블)이 자동 작성되고, 최종적으로 Test Case가 추출하게 된다. 이를 자동화하기위해 Tool Modeling HiMEM ver. 1.0 개발하였다. 이 도구를 통해 실제 테스트 케이스를 추출하였다. 이 논문은 선(先) 테스트를 통해, 개발 후 테스트에 비해, 비용과 시간이 절감하려고 한다. 또한 가상 모델링 환경에서 테스트를 통해 사용자 요구사항에 부합하는 테스트케이스의 도출과 적용을 통해 비교가 가능하리라 본다. 적용사례로 자바환경으로 만들어진 가상 스마트 홈을 스마트폰에 의해 제어에 대한 테스트 케이스 추출을 보여 준다.