Methods to Verify Traceability among Artifacts in Developing Domain Components

도메인 컴포넌트 개발에서의 산출물간 추적성 검증 기법

컴포넌트 기반 소프트웨어 개발 (CBD) 기술은 재사용 단위의 컴포넌트를 조합하여 소프트웨어를 개발함으로써 개발 노력과 상품화 시간을 줄여주는 새로운 기술로 정착되고 있다. 이러한 CBD에서의 재사용 단위로서 컴포넌트의 개발은 여러 활동(Activity)들을 통해 산출물들을 생성한다. 각 산출물은 이전 단계의 산출물을 기반으로 하므로 컴포넌트의 정확성을 보증할 산출물간의 추적성(Traceability)이 중요하다. 그러나 컴포넌트의 재사용성으로 그 정확성을 보증할 추적성이 더욱 중요함에도 이에 대한 연구가 미흡하다. 본 논문에서는, CBD 개발활동에서의 주요 산출물을 제시차고 그 관계에 따른 산출물 항목의 전이 관계를 통한 일관성 검증, 즉 추적성을 검증하는 기법을 제안한다.