초록

용어보기논문에서 용어와 풀이말을 자동 추출한 결과로, 시범 서비스 중입니다. AI-Helper

Abstract ▼ AI-Helper

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 ho...

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.

주제어