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

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.

요약   ABSTRACT   I. 서론   II. 관련연구    1. 테스팅 기법    2. 동치 클레스 분류 및 경계값 테스팅    3. 데스트 케이스 추출 기법    4. OCL 활용    5. DbC접근법   III. 데트스 모델 생성    1. 테스트 모델 정의    2. 테스트 모델 생성기법   IV. 테스트 케이스 생성   V. 결론   참고문헌

• 변완섭(전북대학교 컴퓨터정보학과) | Wan-Seob Byoun
• 유철중(전북대학교 컴퓨터공학과) | Chul-Joong Yoo
• 김용성(전북대학교 컴퓨터공학과) | Yong-Sung Kim