Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2003.05c
- /
- Pages.1821-1824
- /
- 2003
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
A Component Testing Technique based on Component Contract
컴포넌트 계약을 기반으로 하는 컴포넌트 테스팅 기법
- Park, Se-Hui (Hanbat National University) ;
- Lee, Byung-Sun (Hanbat National University) ;
- Jin, Young-Taek (Hanbat National University)
- Published : 2003.05.16
Abstract
컴포넌트를 이용하여 작성된 소프트웨어의 테스팅은 컴포넌트의 다양한 특성 때문에 기존의 화잇박스 테스팅 기법을 적용하기 어렵다. 또한 컴포넌트의 통합으로 발생하는 인터액션 테스팅에 더 많은 비중을 둔다. 본 논문에서는 컴포넌트의 기본 및 행위 명세를 나타낸 컴포넌트 계약을 토대로 컴포넌트 테스팅을 수행하기 위한 방법을 제시한다. 컴포넌트 계약은 사전/사후 조건 및 불변 조건을 명시하는 OCL로 작성되며 테스트 케이스 생성과 인터액션 테스팅을 위해 이용된다.
Keywords