Estelle명세에서 시험경우를 자동 생성하는 통합 자동 도구 : YACTT

Abstract

통신 프로토콜의 적합검사를 수행하는데 있어서 그 복잡성으로 인해 적합성시험을 하는 도구의 필요성이 대두되었고 이 도구에 대한 개발이 요구되었다. 하지만 적합성시험 자동도구를 개발하는데 있어서 실제 프로토콜의 상태수, 요구되는 저장용량 등은 항상 큰 장애요인이 되어 왔다. 본 논문에서는 FMCT(Formal Methods in Conformance Testing: 적합성시험의 형식기법)를 기본으로, 상태수를 줄이는 방안이 제시되었으며 이를 통해 특징 프로토콜에 적용할 수 있는 시험경우(test case) 자동생성도구를 개발하였다. 또한 symbolic execution과 FDT(Formal Description Technique: 형식서술기법)의 일종인 Estelle에서의 external IP(Interaction Point) 적용기능을 사용함으로써 메모리문제를 해결하는 방안을 제안하였다. 본 도구는 명세편집기(Editor), YECT(Yonsei Estelle to Control flow graph Translator), 시험 목적 적용기(Test Purpose applier), GID(Global Instantaneous Description)열 편집기(GID sequence editor), 제어흐름도 보이기(Control Flow Graph viewer) 및 시험열 생성기(Test sequence generator) 등의 여섯가지 부도구들로 이루어져 있으며, 이들을 통합환경화해서 주어진 프로토콜의 시험열을 생성한다. 우선 명세편집기에서는 Estelle 언어로 프로토콜 명세를 작성하며, YECT에서는 이 명세로부터 제어흐름도를 생성하고 있으며, 제어흐름도 보이기에서는 이 흐름도를 도식화해서 사용자에게 보여준다. 한편 시험목적 적용기는 GID열 편집기가 정의하는 시험목적을 제어흐름도에 적용함으로써 목적에 맞는 부-제어흐름도(sub-CFG)를 생성한다. 이들 과정을 기초로, 시험열 생성기는 주어진 프로토콜의 시험경우열을 생성하게 된다. 이렇게 개발된 시험경우 자동생성도구인 YACTT(Yonsei Automatic Conformance Testing Tool)는 복잡한 실제 프로토콜에 적용함을 목표로 하고 있다. 아울러 시험목적 적용 및 시험열 생성시 데이타 흐름을 고려하는 방안에 대한 계속적인 연구를 통해 현재 도구를 보다 더 발전시킬수 있을 것이다.