[논문 리뷰] Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)

Aleksandar S. Dimovski, Claus Brabrand외 1명|arXiv (Cornell University)|2015. 03. 16.

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

한 줄 요약

이 논문은 소프트웨어 제품선(SPLs)을 위한 더 빠르고 근사적인 가족 기반 데이터 플로우 분석을 가능하게 하기 위해 갈로아 연결과 추상 해석을 사용한 변동성 추상화를 도입한다. 분석 전에 추상 SPL에 문법적 변환을 적용함으로써 정밀도를 포기하면서도 타당성을 유지하면서 계산 속도를 향상시키며, 재구성기(reconfigurator)라는 도구를 사용해 세 가지 자바 SPL 벤치마크에서 성공적으로 평가된다.

ABSTRACT

Family-based (lifted) data-flow analysis for Software Product Lines (SPLs) is capable of analyzing all valid products (variants) without generating any of them explicitly. It takes as input only the common code base, which encodes all variants of a SPL, and produces analysis results corresponding to all variants. However, the computational cost of the lifted analysis still depends inherently on the number of variants (which is exponential in the number of features, in the worst case). For a large number of features, the lifted analysis may be too costly or even infeasible. In this paper, we introduce variability abstractions defined as Galois connections and use abstract interpretation as a formal method for the calculational-based derivation of approximate (abstracted) lifted analyses of SPL programs, which are sound by construction. Moreover, given an abstraction we define a syntactic transformation that translates any SPL program into an abstracted version of it, such that the analysis of the abstracted SPL coincides with the corresponding abstracted analysis of the original SPL. We implement the transformation in a tool, reconfigurator that works on Object-Oriented Java program families, and evaluate the practicality of this approach on three Java SPL benchmarks.

연구 동기 및 목표

• 소프트웨어 제품선(SPLs)에서 변종 수가 증가함에 따라 분석 비용이 기하급수적으로 증가하는 문제를 해결하기 위해, 특히 기능 수가 많을 경우에 유의미한 영향을 미친다.
• 모든 변종을 명시적으로 생성하지 않고도 SPL의 효율적 분석을 가능하게 하기 위해 구성 공간을 추상화함으로써, 분석을 수행한다.
• 정확한 분석에서 타당하고 근사적인 상향 분석을 유도하기 위한 형식적이고 계산 가능한 방법을 제공한다.
• 추상화와 분석 유도가 서로 교환 가능함을 보장하여, 분석 이전에 SPL에 직접 추상화를 적용할 수 있도록 한다.
• 실제 자바 SPL 벤치마크를 대상으로 프로토타입 도구를 사용해 접근의 실용성을 평가한다.

제안 방법

• 정밀도를 계산 효율성과 교환하기 위해 갈로아 연결을 사용해 변동성 추상화를 정의한다.
• 형식적 추상 해석을 적용하여 원래 분석으로부터 타당한 추상화된 상향 분석을 유도한다.
• 두 가지 기본 추상화 연산자인 '프로젝션'(project)과 '조인'(join) 및 두 가지 복합 연산자인 순차적 조합(sequential composition)과 병렬 조합(parallel composition)을 도입한다.
• SPL을 추상화된 버전으로 매핑하는 문법적 변환(재구성기(reconfigurator) 도구를 통해)을 개발하여, 추상화된 SPL을 분석하면 원래 분석의 추상화 결과와 동일한 결과를 얻을 수 있도록 한다.
• 분석 추상화와 유도 과정이 서로 교환 가능함을 보장하여, 분석 유도 이후가 아니라 프로그램 수준에서 추상화를 적용할 수 있도록 한다.
• SPL 내 조건부 구조(예: #if)에 대한 형식적 의미 이론을 개발하며, 추상화된 구성과 추상화된 도메인 위에서 상향 분석을 수행한다.

실험 결과

연구 질문

• RQ1 갈로아 연결을 사용해 변동성 추상화를 형식적으로 정의할 수 있는가? 이를 통해 SPL의 타당하고 근사적인 분석이 가능해지는가?
• RQ2 추상 해석을 어떻게 사용해 정밀한 분석으로부터 체계적으로 추상화된 상향 분석을 도출할 수 있는가?
• RQ3 문법적 변환을 통해 SPL에 직접 추상화를 적용할 경우, 도출된 분석을 추상화한 결과와 동일한 추상화된 분석이 도출되는가?
• RQ4 실제로 분석 시간을 얼마나 줄일 수 있으며, 타당성과 사용성은 유지되는가?
• RQ5 많은 기능을 가진 실제 SPL에 대해 이 접근이 스케일업 가능한가? 기존에 실행 불가능한 분석을 실행 가능한 것으로 전환할 수 있는가?

주요 결과

• 구성 공간을 추상화함으로써 이 접근법은 타당하고 근사적인 SPL 분석을 성공적으로 가능하게 하여 계산 비용을 감소시키면서도 정확성은 유지한다.
• 재구성기 도구는 추상화된 버전으로 변환된 SPL을 분석함으로써 동일한 추상화된 분석 결과를 도출할 수 있음을 보여주며 실용적 타당성을 입증한다.
• 논문은 추상화와 분석 유도 과정이 서로 교환 가능함을 증명하여, 프로그램 수준에서 초기 추상화를 적용함으로써 효율적인 분석을 가능하게 한다.
• 프로젝션, 조인, 순차적 조합, 병렬 조합 연산자를 통해 모듈러하고 복합적인 추상화를 지원하여 다양한 정밀도-속도 트레이드오프를 유연하게 구현할 수 있다.
• 세 가지 자바 SPL 벤치마크에서의 평가 결과, 이 접근법은 분석 시간을 크게 감소시키며 핵심 정적 분석 정보를 유지함을 확인했다.
• 추상화된 분석은 구성에 의해 타당하므로, 모든 결과가 정밀 분석의 보수적인 근사값임을 보장한다.