[논문 리뷰] IsiSPL: Toward an Automated Reactive Approach to build Software Product Lines

Nicolas Hlad, Abdelhak-Djamel Seriai외 1명|arXiv (Cornell University)|2021. 07. 01.

Advanced Software Engineering Methodologies참고 문헌 30인용 수 4

한 줄 요약

이 논문은 소프트웨어 제품군(SPLs)을 구축하고 유지보수하기 위한 반응형, 자동화된 접근 방식인 isiSPL을 제안한다. 이는 새로운 제품 아티팩트의 준자동 통합과 구성 가능한 코드 생성을 통해 이루어지며, 개발자가 애너테이션된 소스 코드와 형식적 맥락 분석을 통해 화이트박스 SPL을 유지보수할 수 있도록 한다. ArgoUML-SPL과 Sudoku-SPL을 대상으로 한 검증에서 100% 정확한 제품 재현을 달성하였다.

ABSTRACT

Over the past decades, Software Product Lines (SPLs) have demonstrated the benefits of systematic reuse to increase software development productivity and software product quality. Of the three adoption approaches, i.e. extractive, proactive and reactive, the reactive approach seems the most suitable for software development in practice. The strength of this approach is that it remains close to classical software development practices. In fact, it avoids a complete analysis of the business domain and its variability (i.e. proactive approach), and avoids requiring a set of product variants that covers this domain (i.e. extractive approach). Nevertheless, despite these advantages, we believe that the main obstacle of the reactive approach adoption is the lack of automation of its re-engineering process. This paper proposes isiSPL: a reactive-based approach that facilitates both construction and maintenance of an SPL. The construction of the SPL is based on a quasi-automatic process. The maintenance of the SPL can be made on a white-box SPL implementation, generated by isiSPL. isiSPL is based on two steps: first, the identification and integration of the artefacts of a newly created product into the structure of the SPL; second, the selection of a set of artefacts and their composition to generate a new product that can either partially or completely meet the requirements provided for a product intended by a developer. We have implemented isiSPL and validated its integration and generation using the two different sets of products from ArgoUML-SPL and Soduko-SPL.

연구 동기 및 목표

• 산업 현장에서 소프트웨어 제품군(SPLs)의 저도입 문제를 해결하기 위해, 특히 구축 및 유지보수 과정에서 발생하는 과제를 해결하고자 한다.
• 기존의 사전적(proactive) 및 추출 기반(extractive) SPL 접근 방식의 한계를 극복하기 위해, 표준 소프트웨어 개발 관행과 부합하는 반응형, 반복적 방법을 제안하고자 한다.
• 개발자가 투명하고 애너테이션된 SPL 구현을 직접 다룰 수 있도록 함으로써, SPL 구축과 장기적 유지보수를 모두 촉진하고자 한다.
• 요구사항 기반으로 새로운 제품 아티팩트를 통합하고 새로운 제품을 생성하는 데 있어 침습적이지 않은 자동화된 파이프라인을 제공하고자 한다.
• 제품 관리자와 개발자가 동일한 변형 모델과 애너테이션된 코드를 사용하여 구성 및 진화를 수행할 수 있도록 하여 통합된 접근 방식을 제공하고자 한다.

제안 방법

• 소스 코드와 아티팩트로부터 변형 관계(의미 관계, 상호 배타성, 공통/선택적 아티팩트 포함)를 추출하기 위해 형식적 맥락 분석(FCA)을 적용한다.
• 각 문장을 일급 아티팩트로 간주하여, 개발자가 직접 조작할 수 있도록 애너테이션된 코드를 사용해 화이트박스 구현 형태로 SPL을 표현한다.
• 각 소스 파일별로 아티팩트 트리를 구축하며, 제품 생성 시에는 특정 제품에 필요한 아티팩트만을 남기도록 트리를 잘라내어 생성한다.
• 기존의 변형 제약 조건을 유지하면서, 준자동 프로세스를 통해 새로운 제품 아티팩트를 SPL 구조에 통합한다.
• 개발자가 제공한 요구사항에 기반해 관련 아티팩트를 선택하고 조합하여 신규 제품을 생성하며, 형식적 변형 모델을 통해 정확성을 보장한다.
• 이중 단계 프로세스를 사용한다: (1) 아티팩트를 SPL에 통합하고, (2) 선택된 아티팩트로부터 구성 가능한 제품을 구성 및 생성한다.

실험 결과

연구 질문

• RQ1 통합 및 생성 과정에서 수동 작업을 줄이고 정확성을 유지하면서도 반응형 SPL 접근 방식을 자동화하기 위한 방법은 무엇인가?
• RQ2 제품 생성과 개발자 주도 유지보수를 모두 지원하는 화이트박스 SPL 구현을 가능하게 하는 기법은 무엇인가?
• RQ3 사전에 기능 모델이 필요 없이도 소스 코드와 아티팩트로부터 변형 관계(예: 의미 관계, 상호 배타성 등)를 자동으로 발견할 수 있는 기법은 무엇인가?
• RQ4 isiSPL은 애너테이션된 코드와 형식적 맥락 분석만으로도 100% 정확한 제품 재현을 달성할 수 있는가?
• RQ5 isiSPL은 통합적이고 유지보수 가능한 표현 방식을 통해 제품 관리자와 개발자가 동일한 변형 모델과 애너테이션된 코드를 사용해 SPL의 구성 및 진화를 수행할 수 있도록 지원할 수 있는가?

주요 결과

• ArgoUML-SPL과 Sudoku-SPL을 대상으로 한 검증에서 isiSPL은 100% 정확한 제품 재현을 달성하여 통합 및 생성 과정에서 손실이나 오류가 발생하지 않았음을 확인하였다.
• 일급 표현으로서의 애너테이션된 코드 사용은 개발자가 직접적이고 직관적으로 SPL을 유지보수할 수 있도록 하여, 이전의 추출 기반 도구들이 지닌 블랙박스 한계를 극복하였다.
• 형식적 맥락 분석은 아티팩트 수준에서 핵심 변형 관계(의미 관계, 상호 배타성, 공통/선택적 아티팩트)를 성공적으로 캡처하여 구성 검증의 견고한 기반을 마련하였다.
• isiSPL의 이중 단계 프로세스—아티팩트 통합 후 구성 가능한 생성—는 실제 SPL 사용 사례에서 효과적이며 침습적이지 않은 방식임을 입증하였다.
• 각 문장을 개별 아티팩트로 간주함으로써 isiSPL은 코드 중복을 방지하고 제품 조합에 대한 세밀한 제어를 가능하게 하였다.
• ECCO와 But4Reuse와 비교하여 isiSPL는 진화 및 구성 모두를 지원하는 더 유지보수 용이한 화이트박스 SPL 표현을 제공한다.