개발된 소프트웨어 시스템의 안정성 및 품질을 향상시키기 위해서는 소프트웨어의 테스트 과정이 필요하다 . 일반적인 소프트웨어 테스팅은 소프트웨어 시스템 내의 결함을 검출하는 작업을 말하며 프로그램을 실행시켰을 때 결과가 명세서에 기술된 대로 산출되는가를 조사한다 . 소프트웨어 테스트는 설계 단계부터 철저한 검증을 통해 안전성을 확보하기 위한 모델 기반 혹은 정형명세 기반의 테스트와 관련된 연구들이 활발히 진행되어 오고 있다 . 최근에는 상태 다이어그램을 기반으로 한 테스트 기법들이 연구되고 있는데 이러한 상태 다이어그램 기반 연구들은 커버리지를 이용하여 전이를 측정하거나 유 ㆍ 무효한 테스트 케이스를 생성하여 소프트웨어 시스템을 테스트 하는 방법들로 개발된 소프트웨어 시스템의 안정성을 테스트하는 방식으로 연구되고 있다.
- 상태 다이어그램 도출 및 표기
- 단계별 상태 다이어그램 도출 기법 적용