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

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

  • Published : 2004.05.14

Abstract

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

Keywords