상태 다이어그램을 이용한 무효한 테스트 케이스 도출 기법

Invalid Test Case Generation Technique using State Diagram

  • 박진수 (충북대학교 컴퓨터과학과) ;
  • 김종필 (충북대학교 컴퓨터과학과) ;
  • 홍장의 (충북대학교 컴퓨터과학과)
  • Park, Jin-Soo (Dept. of Computer Science, Chungbuk National University) ;
  • Kim, Jong-Phil (Dept. of Computer Science, Chungbuk National University) ;
  • Hong, Jang-Eui (Dept. of Computer Science, Chungbuk National University)
  • 발행 : 2012.06.22

초록

소프트웨어 시스템의 신뢰성과 안정성을 보장하기 위해서는 시스템에 내재된 결함을 가능한 많이 줄이는 것이 중요하다. 이는 테스팅을 통해 수행할 수 있으며, 상태 다이어그램을 기반으로 한 테스팅 기법들이 많이 연구되고 있다. 이러한 연구들은 상태와 전이의 경로 커버리지에 초점을 두고, 메시지 시퀀스에 따른 테스트를 고려한다. 하지만 메시지 시퀀스에 따른 테스트 케이스는 모두 정상적인 환경의 테스트 데이터를 반영하고, 그에 따라 무효한 테스트에 취약성을 보인다. 따라서 본 논문에서는 부가적인 산출물을 최소화하고, 시스템의 예외처리를 강화하기 위해 가상의 비정상 전이와 상태를 추가하여 상태 다이어그램으로부터 무효한 테스트 케이스를 도출하는 방법을 제안한다.

키워드

과제정보

연구 과제 주관 기관 : 한국연구재단