Applying Declarative Analysis to Software Product Line Models: An Industrial Study
Autor: | S. Ramesh, Ramy Shahin, Joanne M. Atlee, Marsha Chechik, Rafael Ferreira Toledo, Robert Hackman |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2021 |
Předmět: |
FOS: Computer and information sciences
Computer science business.industry Programming language computer.software_genre Pipeline (software) Datalog Software Engineering (cs.SE) Computer Science - Software Engineering Software Product (mathematics) Scalability Model-driven architecture business Software product line computer Automotive software computer.programming_language |
Zdroj: | MODELS |
Popis: | 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, 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) written in the Grok declarative language, port it to Datalog, 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. MODELS'21 pre-print |
Databáze: | OpenAIRE |
Externí odkaz: |