Annual Conference of KIPS (한국정보처리학회:학술대회논문집)

  • 2002.11c
  • /
  • Pages.2115-2118
  • /
  • 2002
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

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)
  • 안영희 (동국대학교 컴퓨터공학과) ;
  • 최은만 (동국대학교 컴퓨터공학과)
  • Published : 2002.11.15
Download PDF
⟨ Previous Next ⟩

Abstract

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

Keywords