Statechart 행위명세 기반의 소프트웨어 시험 환경 설계 방법