상태 머신은 상태와 전이를 통하여 객체의 행위를 표현할 수 있기 때문에 테스트 케이스 자동생성에 많이 이용된다. 상태 머신을 이용하여 효율적인 테스트를 진행하기 위해서는 해당 상태 머신의 제어 용이성이 높아야 한다. 상태 머신의 제어 용이성은 대상을 얼마나 쉽게 원하는 상태로 만들 수 있는지에 대한 지표이다. 전이의 선/후행 조건이 많으면 원하는 상태로 만들기 위한 입력 시퀀스를 찾아내는 것이 어려우므로, 상태 머신의 제어 용이성이 낮을 수 있다. 따라서 본 논문은 기존 상태 머신의 제어 용이성 높은 상태 머신으로 변환하는 기법을 제안한다. 제안한 기법의 효용성을 평가하기 위하여 기존에 공개된 문헌에서 2개의 상태 머신을 제안한 알고리즘에 따라서 변환하였으며, 변환 전/후의 상태 머신으로 생성한 테스트 케이스의 수행 가능성을 비교하는 실험을 실시하였다. 그 결과 변환 후의 상태 머신을 이용하면 더욱 효율적으로 테스트 케이스를 생성할 수 있는 것으로 나타났다.
State machines are widely used to automatically generate test cases because those can describe behavior of objects using states and transitions. To generate test cases efficiently, high controllability of state machines is important. The controllability of state machines is an indicator of degree how easy event sequences can determine to reach target states. The controllability can be poor if a state machine has pre/postconditions of transitions because the conditions should be evaluated. Therefore, this paper proposes an approach to transformation of state machine into highly controllable state machines. To evaluate effectiveness of the approach, we have conducted two case studies transforming two presented state machines in literature using the proposed algorithm. Further, we have compared feasibility of test cases generated using the before and after transformed state machines. The result showed that using the transformed state machines can generate test cases more efficiently.
