최근 강건성 테스트 케이스 자동 생성을 위한 강건성 상태 머신 다이어그램 생성 연구가 많은 관심을 받고 있다. 그러나 기존의 강건성 상태 머신 다이어그램은 행위적 상태 머신 다이어그램(behavior state machine)으로부터 생성되었기 때문에, 상태와 전이의 관계에 따른 강건적 취약성을 가지고 있다. 본 논문에서는 이와 같은 강건적 취약성을 확인할 수 있는 강건성 테스트 케이스 생성을 위한 상태 머신 다이어그램을 생성하고자 한다. 이를 위하여 프로토콜 상태 머신 다이어그램의 상태 불변식과 진출 전이의 선행 조건간의 관계를 분석을 통한 강건성 상태 머신 다이어그램 생성 기법을 제안한다. 제안된 기법의 이해를 돕기 위해서 5가지 상태와 8가지 전이를 가진 회원 등급 변환 상태 머신 다이어그램을 이용하여 설명한다. 그리고 제안된 기법을 4 가지 상태와 12가지 전이를 가진 비디오 대여 시스템의 상태 머신 다이어그램에 적용하였다.
Recently, generating a robustness state machine diagram(RSM) for robustness test cases has been studied. However, conventional RSMs have robustness problems related with relation between states and transitions because the RSMs were derived from behavior state machine diagrams. In this paper, we try to generate robustness test cases which can check the problems. To achieve it, we suggest a RSM constructing method which uses relation analysis between state invariants and transition preconditions of protocol state machine diagrams. We present a grade of members converting state machine diagram with 5 states and 8 transitions to demonstrate the proposed method. And we apply the proposed technique to video rental system state machine diagram with four states and 12 transitions.
