[논문 리뷰] Adaptation of Black-Box Software Components

Rolf Andreas Rasenack|ArXiv.org|2009. 03. 03.

Advanced Software Engineering Methodologies참고 문헌 9인용 수 3

한 줄 요약

이 논문은 경쟁이 치열한 글로벌 시장에서 단축된 소프트웨어 제품 수명 주기를 초래하는 도전에 대비해, 소프트웨어 구성 요소의 사양을 분석하여 호환성을 보장함으로써 블랙박스 소프트웨어 구성 요소를 적응시키는 새로운 기법과 이를 뒷받침하는 환경을 제안한다. 이 방법은 소스 코드 접근 없이도 구성 요소 간 상호운용성의 자동 검증을 가능하게 하여 통합 효율성을 크게 향상시킨다.

ABSTRACT

The globalization of the software market leads to crucial problems for software companies. More competition between software companies arises and leads to the force on companies to develop ever newer software products in ever shortened time interval. Therefor the time to market for software systems is shortened and obviously the product life cycle is shortened too[...]The approach introduced here presents the novel technique together with a supportive environment that enables developers to cope with the adaptability of black-box software components. A supported environment will be designed that checks the compatibility of black-box software components with the assistance of their specifications.

연구 동기 및 목표

• 경쟁이 치열한 글로벌 시장으로 인한 단축된 소프트웨어 제품 수명 주기 증가에 대비한 도전에 대응하기 위해.
• 소스 코드 접근 없이도 블랙박스 소프트웨어 구성 요소의 효율적 적응을 가능하게 하기 위해.
• 형식적 사양을 사용하여 구성 요소 호환성을 검증하는 지원 환경을 개발하기 위해.
• 구성 요소 통합을 간소화하여 소프트웨어 시스템의 시장 진입 시간을 단축하기 위해.
• 구성 요소 기반 개발 환경에서 소프트웨어의 유지보수성과 재사용성을 향상시키기 위해.

제안 방법

• 런타임 호환성을 분석하기 위해 사양 기반 접근법을 제안하여 블랙박스 구성 요소를 검토한다.
• 형식적 사양에 기반한 구성 요소 인터페이스 검증을 수행하는 지원 환경을 설계한다.
• 형식적 방법을 사용하여 구성 요소 간 행동 호환성을 검증한다.
• 자동 검증을 지원하기 위해 기법을 개발 워크플로우에 통합한다.
• 기존의 구성 요소 사양을 호환성 분석의 입력으로 활용한다.
• 실제 산업 환경에서 2회차 유럽 컴퓨터 과학 및 응용 회의(XA2008)에서 이 방법을 적용하였다.

실험 결과

연구 질문

• RQ1 소스 코드 접근 없이도 블랙박스 소프트웨어 구성 요소를 어떻게 효율적으로 적응시킬 수 있는가?
• RQ2 런타임 호환성을 보장하기 위해 어떤 형식적 기준이 필요한가?
• RQ3 사양 기반 환경은 구성 요소 통합의 자동 검증을 어떻게 지원하는가?
• RQ4 사양 기반 적응은 시장 진입 시간 단축에 어떤 영향을 미치는가?
• RQ5 산업 현장에서 구성 요소 호환성 검사를 지원하기 위한 재사용 가능한 프레임워크를 구축할 수 있는가?

주요 결과

• 제안된 기법은 구성 요소의 사양만을 사용하여 블랙박스 구성 요소 간 호환성의 자동 검증을 가능하게 한다.
• 지원 환경은 통합 이전에 인터페이스 불일치 및 행동 불일치를 성공적으로 식별한다.
• 이 방법은 구성 요소 기반 소프트웨어 개발에서 통합 리스크를 감소시키고 재사용성을 향상시킨다.
• 이 방법은 XA2008 회의에서 검증 및 발표되어 실용적 적용 가능성을 입증하였다.
• 프레임워크는 구성 요소 통합 및 검증을 가속화함으로써 단축된 제품 수명 주기를 지원한다.
• 형식적 사양 분석은 배포 이전에 잠재적 런타임 장애를 탐지하는 데 효과적이었다.