Estelle로 표현된 프로토콜의 테스트 슈트 생성에 관한 연구 = The Study of Test Suites Generation for Protocol Specified by Estelle

국문 초록 (Abstract)

IUT에 테스트 슈트 적용시 기존의 제어흐름만을 고려한 FSM 중심의 생성방법으로는 프로토콜의 적합성 시험을 수행할 수 없다. 특히 한상태에서 다음 상태로의 전이가 입력이나 전상태에서의 변수값이 아닌 시스템의 상태에 의해 결정되는 비결정적인 경우에 대한 별도의 배려가 필요하다.
본 논문은 Estelle로 표현된 명세에서 테스트슈트 생성시 도출되는 복잡성을 단순화하고 비결정성을 효율적으로 처리하기 위하여 NEFSM 모델을 제안하였다. 처리과정은 먼저 Estelle 명세를 NEFSM으로 변환시키고 그 모델을 이용하여 테스트 슈트를 생성하였다.

목차 (Table of Contents)

• 요약
• 1. 서론
• 2. 비결정성
• 3. 제약 사항
• 4. NEFSM(Non - determinism Extended Finte State Machine)
• 5. Estelle의 NEFSM 변환
• 6. 적용 사례
• 7. 결론
• 참고 문헌