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

  • 2009.04a
  • /
  • Pages.440-443
  • /
  • 2009
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

State Space Translation technique of Requirement Diagram based Graphical Language for Test Case

테스트 케이스 생성을 위한 그래픽 언어 기반 요구사항 다이어그램의 상태 공간 변환 기법

  • Shin, Sang-Ki (Division of Electronics Engineering, Ajou University) ;
  • Jung, Ki-Hyun (Division of Electronics Engineering, Ajou University) ;
  • Choi, Kyung-Hee (Graduate School of Information and Communication, Ajou University)
  • 신상기 (아주대학교 전자공학부) ;
  • 정기현 (아주대학교 전자공학부) ;
  • 최경희 (아주대학교 정보통신전문대학원)
  • Published : 2009.04.23
Download PDF
⟨ Previous Next ⟩

Abstract

그래픽 언어 기반의 요구사항 작성은 임베디드 시스템의 RBT(Requirement-Based Testing)을 위해 적절한 요구사항 모델링이다. 본 논문은 그래픽 언어기반으로 작성된 요구사항을 상태 기반으로 해석하고, 테스트 케이스를 자동으로 생성하기 위한 방법에 대해 논한다. 먼저 요구사항 다이어그램의 구성을 살펴 보고, REED 라는 도구를 통해 실제 작성된 하나의 요구사항을 바탕으로 테스트 케이스 생성을 위한 모델 전체의 상태 공간을 정의하고 상태 공간과 테스트 케이스 생성에 대해 논한다.

Keywords