정형적 명세를 이용한 웹 프로그램의 테스트

Testing Web Program Using Formal Specification

  • 안영희 (동국대학교 컴퓨터공학과) ;
  • 최은만 (동국대학교 컴퓨터공학과)
  • Ahn, Young-Hee (Dept. of Computer Multimedia Engineering, Dongguk University) ;
  • Choi, Eun-Man (Dept. of Computer Multimedia Engineering, Dongguk University)
  • 발행 : 2002.11.15

초록

이 논문에서는 정형적 명세를 이용하여 테스트 데이터를 추출하는 방법을 제안한다. 복잡하고 구성요소가 다양한 웹 프로그램의 기능을 Object-Z 정형 명세 언어를 이용하여 핵심적으로 나타낸다. 이로부터 상태 모델을 구성하고 최상위 레벨의 STD 에서 세부적으로 STD 를 추가하여 테스트 시나리오를 추출한다. 실험 대상은 웹 뱅킹 업무로 정하고 계좌개설 과정의 테스트 데이터를 추출하였다. 제안한 방법은 사용기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요한 요소가 될 것이다.

키워드