본문 바로가기
KERD
논문KCI 등재

DbC접근법과 동치클래스 분류 기법을 이용한 테스트케이스 생성기법

Game Software Test Case Generation Technique Using Equivalence Class Partitioning and DbC Approach

김용성|유철중|변완섭
(사)한국컴퓨터게임학회 (Korean Society For Computer Game)|2010.10|컴퓨터게임및콘텐츠논문지 (Journal of Computer Games and Contents)|제22호|pp. 69-79

0

조회

0

다운로드

5

인용

0

참고문헌

키워드

CollaborateInteroperability Test테스트케이스소프트웨어 테스트Test CaseOCL 컨트랙트 명세테스트생성기법DbC접근법동치클래스분류기법Component Based Game SoftwareState Transition Model

초록

본 논문은 게임 소프트웨어 프로세스 중에서 분석 및 설계 단계의 산출물 중 시퀀스 다이어그램과 OCL 컨트랙트명세를 기반으로 하여 테스트 모델을 생성하고 생성된 모델을 기반으로 하여 테스트 케이스를 생성하는 기법을 제안한다. 생성된 테스트 케이스는 테스트 수행뿐만 아니라 테스트 자동화를 위하여 생성하는 테스트 드라이버 작성시 활용 가능하다.

Abstract

Interoperability test is to check how those components collaborate each other in real environment not in the development environment. Therefore, the research on the inter-operability is crucially important. In this paper, a new technique is proposed for generating a test case which is necessary for checking the inter-operability of the components in the component-based software.

참고문헌 (7)

  1. D.Wood, "Use Case Derived Test Cases", STAREAST on Software Quality Engineering, Conf (1999)
  2. A. Abdurazik, "Using UML Collaboration Diagrams for Static Checking and Test Generation", The Third International Conference on the nified Modeling Language (UML'00), Proc., pp.383~395 (2000)
  3. The Objects-Z specification Language. Version 1, "R. Duke", Software Verification Research Center, Department of Computer Science, University of Queensland, ~, pp.Technical Report 91-1 (1991)
  4. Jos Warmer, "The Object Constraint Language Second Edition - Getting Your Models Ready for MDA" (2003), Addison Wesley
  5. "Building bug-free O-O software : An introduction to Design By Contract"[URL]
  6. Benoit Baudry, "Robustness and Diagnosability of OO Systems Designed By Contracts", Software Metrics Symposium, pp.272~284 (2001)
  7. 정혜진, "SMIL 기반의 기능성 교육용 게임 설계 및 구현", 한국컴퓨터게임학회논문지, (20), pp.149~157 (2010), (사)한국컴퓨터게임학회

관련 논문AI추천

TFD를 활용한 동적 게임맵 테스트케이스 생성기법김정윤(사)한국컴퓨터게임학회 · 컴퓨터게임및콘텐츠논문지2013 · 제26권 제1호Alloy 명세 기반 자동 테스트 데이터 생성 기법정인상한국정보처리학회 · 정보처리학회논문지D2007 · 제14권 제2호게임소프트웨어 특성을 표현하기 위한 클래스 추출과 연관관계에 관한 연구김용식, 류성열, 조현훈한국정보처리학회 · 정보처리학회논문지D2006 · 제13권 제4호다양한 웹 기반 소프트웨어의 테스트를 위한 효율적인 테스트 케이스의 생성김현수, 최은만한국정보처리학회 · 정보처리학회논문지D2005 · 제12권 제4호J2ME 플랫폼 기반의 테스트케이스 생성 기법김상일, 노명기, 류성열한국정보처리학회 · 정보처리학회논문지D2006 · 제13권 제2호커스텀 파서와 SMT 솔버를 활용한 모델 기반 테스트 데이터 생성 기법신기욱, 임동진한국정보처리학회 · 정보처리학회 논문지2017 · 제6권 제8호

이 간행물의 다른 논문 (20건)

기능성 게임에서 목적성과 재미성의 상관관계 분석을 활용한 효율적인 제작 방법연구이춘호, 김태용pp. 7-16디지털 게임의 플레이어-캐릭터 적응 구조 연구권보연pp. 17-26기능성 게임을 위한 볼륨 메쉬 파라메터화정규만, 이윤진, 김준호pp. 27-32기능성게임 분야별 R&D 핵심 수요 기술 분석이범로, 이승훈, 류성열pp. 33-41GPU기반 실시간 굴절 물체 렌더링 방법김남중, 홍현기pp. 43-50
원문 보기