학술논문
Applying Declarative Analysis to Software Product Line Models: An Industrial Study
Document Type
Conference
Source
2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2021 ACM/IEEE 24th International Conference on. :145-155 Oct, 2021
Subject
Language
Abstract
Software Product Lines (SPLs) are families of related software products developed from a common set of artifacts. Most existing analysis tools can be applied to a single product at a time, but not to an entire SPL. Some tools have been redesigned/re-implemented to support the kind of variability exhibited in SPLs, but this usually takes a lot of effort, and is error-prone. Declarative analyses written in languages like Datalog have been collectively lifted to SPLs in prior work [1], which makes the process of applying an existing declarative analysis to a product line more straightforward. In this paper, we take an existing declarative analysis (behaviour alteration) and apply it to a set of automotive software product lines from General Motors. We discuss the design of the analysis pipeline used in this process, present its scalability results, and provide a means to visualize the analysis results for a subset of products filtered by feature expression. We also reflect on some of the lessons learned throughout this project.