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

  • 2003.05c
  • /
  • Pages.1769-1772
  • /
  • 2003
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

Test Oracle Generation Support Environments for the High Testability of Software

소프트웨어 시험성 강화를 위한 테스트 오러클 생성 지원 환경

  • Published : 2003.05.16
Download PDF
⟨ Previous Next ⟩

Abstract

소프트웨어 시험은 소프트웨어의 신뢰성을 직접적으로 향상시킬 수 있는 방법 중의 하나이지만 일반적으로 상당히 많은 비용이 드는 개발 과정이다. 따라서 경제적인 소프트웨어 개발을 위하여 소프트웨어 시험성을 강화시킬 수 있는 메커니즘들이 요구된다. 본 논문은 소프트웨어 시험성 강화 메커니즘들 중의 하나인 테스트 오러클의 생성을 지원하는 시험 환경의 구축 방법을 제안한다. 본 논문에서 제안하는 테스트 오러클 생성 지원 환경의 목적은 Statechart로 기술된 시험 대상 소프트웨어의 행위 모델로부터 실행 가능한 테스트 오러클의 생성을 지원하는 것이다.

Keywords