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

  • 2004.05a
  • /
  • Pages.305-308
  • /
  • 2004
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

The Support Environment for Constructing Test Oracles Based on the Behavioral Models Represented as Statecharts

Statechart 행위 모델 기반의 테스트 오러클 생성 지원 환경

  • Published : 2004.05.14
Download PDF
⟨ Previous Next ⟩

Abstract

소프트웨어 시험을 효과적으로 수행하기 위해서는 시험 대상 소프트웨어가 명시된 행위 명세를 올바로 준수하는지 점검할 수 있는 테스트 오러클의 개발이 요구된다. 본 논문에서는 Statechart로 표현된 행위 모델로부터 실행 가능한 테스트 오러클의 자동 생성을 지원하는 시험환경을 제안하고 설명한다.

Keywords