[論文レビュー] IsiSPL: Toward an Automated Reactive Approach to build Software Product Lines

Nicolas Hlad, Abdelhak-Djamel Seriai+1 more|arXiv (Cornell University)|Jul 1, 2021

Advanced Software Engineering Methodologies参考文献 30被引用数 4

ひとこと要約

本論文では、準自動的な新製品アーティファクト統合と可変性コード生成を通じて、反応的で自動化されたソフトウェア製品線（SPL）の構築および保守を実現する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.

研究の動機と目的

• 特に産業現場において、SPLの構築および保守の課題が原因でSPLの採用が低止まりしている問題に対処する。
• プロアクティブおよび抽出型SPLアプローチの限界を克服し、標準的なソフトウェア開発手法に整合する反応的で反復的な手法を提案する。
• 開発者が透過的でアノテート済みのSPL実装で作業できるようにすることで、SPLの構築と長期的保守を両立させる。
• 新製品アーティファクトの統合と要件に基づく新製品生成を非侵襲的かつ自動化されたパイプラインで提供する。
• 製品マネージャーと開発者が、同一の可変性モデルとアノテート済みコードを用いて、構成と進化を共通の視点で行えるようにする。

提案手法

• 形式的文脈分析（FCA）を適用し、ソースコードおよびアーティファクトから可変性関係（含意、相相反、共発生、共通/オプションアーティファクト）を抽出する。
• 各ステートメントを第一級のアーティファクトとして扱うことで、アノテート済みコードを用いて白箱実装としてSPLを表現する。
• 各ソースファイルごとにアーティファクトツリーを構築し、製品生成時に不要なアーティファクトを刈り取ることで、特定の製品に必要なアーティファクトのみを生成する。
• 既存の可変性制約を保持したまま、新規製品アーティファクトを準自動プロセスでSPL構造に統合する。
• 開発者が提供する要件に基づき、関連するアーティファクトを選択・組み合わせて新製品を生成するが、形式的可変性モデルにより正しさを保証する。
• 2段階プロセスを用いる：(1) アーティファクトのSPLへの統合、(2) 選択されたアーティファクトからの製品の構成と生成。

実験結果

リサーチクエスチョン

• RQ1 反応的SPLアプローチを自動化することで、統合および生成における人的作業を削減しながらも正しさを維持するにはどうすればよいか？
• RQ2 製品生成と開発者主導の保守の両方をサポートする白箱SPL実装を実現するには、どのような技術が必要か？
• RQ3 事前に特徴モデルを必要とせずに、ソースコードおよびアーティファクトから可変性関係（例：含意、相相反）を自動で発見するにはどうすればよいか？
• RQ4 isiSPLは、アノテート済みコードと形式的文脈分析のみを用いて100%の正確な製品再現を達成できるか？
• RQ5 isiSPLは、統一的かつ保守可能な表現を用いて、製品マネージャーと開発者がSPLの構成と進化を共に支援できるか？

主な発見

• ArgoUML-SPLおよびSudoku-SPLを用いた検証で、isiSPLは100%の正確な製品再現を達成しており、統合および生成過程で損失や誤りが生じていないことを示している。
• アノテート済みコードを第一級の表現として用いることで、開発者が直感的かつ直接的にSPLを保守可能となり、従来の抽出型ツールのブラックボックス的限界を克服した。
• 形式的文脈分析により、アーティファクトレベルで重要な可変性関係（含意、相相反、共発生）を的確に捉えることに成功し、構成検証の基盤を形成した。
• isiSPLの2段階プロセス（アーティファクト統合 → 可変性あり生成）は、実世界のSPLユースケースにおいて効果的かつ非侵襲的であることが実証された。
• 各ステートメントを個別のアーティファクトとして扱うことで、コードの重複を回避し、製品構成における細粒度の制御を可能にした。
• ECCOおよびBut4Reuseと比較して、isiSPLは進化と構成の両方をサポートするより保守性の高い白箱SPL表現を提供している。