상호운용성 테스트를 위한 테스트케이스 생성 기법

네트워크 기술이 급격히 발전하면서 서로 다른 벤더들이 개발한 시스템들이 통합되거나 상호운용함으로서 특정 기능을 수행한다. 이 경우 통합된 시스템의 정확성을 보증하는 상호운용성 테스트는 필수적이다. 상호운용성 테스트는 다른 벤더들이 개발한 다른 시스템이 데이타를 공유하는 경우 소프트웨어나 하드웨어의 성능을 테스트하는 것이다. 많은 연구에서 시스템의 행위를 모델링하기 위하여 EFSM(Extended Finite State Machines)을 사용하고 있고, EFSM은 테스트케이스 생성 알고리즘의 입력으로 사용된다. 그러나 대부분의 연구들은 최적의 테스트케이스 생성 알고리즘에 대한 것들로서 이들 알고리즘의 입력이 되는 EFSM 명세를 생성하는 과정에 관한 연구는 찾아보기 힘들다. 본 논문은 상호운용성 테스트를 위한 테스트케이스를 생성하는 연구로서 요구사항 분석서로부터 EFSM 명세를 생성하는 방법을 제안하고, 테스트케이스 생성의 자동화를 위하여 제안한 기법으로 생성된 EFSM을 입력으로 하여 표준화된 테스트 케이스 및 슈트를 자동 생성하기 위한 테스트케이스 생성기의 프로토타입을 구현한다. 또한 프로토타입 구현에 적용된 이론적 배경 및 알고리즘을 상세히 설명한다.