한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)

한국정보처리학회 (Korea Information Processing Society)
권호 표지

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

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

  • 발행 : 2004.05.14
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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

키워드