2021/07/15 by Ramy Shahin, Shahin, Ramy, Robert C. Hackman +9
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE)
paper · pdf · doi:10.48550/arxiv.2107.07690
openalex publication_date 2021/07/15 · openalex created_date 2022/07/25 · openalex updated_date 2026/07/28
Software Product Lines (SPLs) are families of related software products\ndeveloped from a common set of artifacts. Most existing analysis tools can be\napplied to a single product at a time, but not to an entire SPL. Some tools\nhave been redesigned/re-implemented to support the kind of variability\nexhibited in SPLs, but this usually takes a lot of effort, and is error-prone.\nDeclarative analyses written in languages like Datalog have been collectively\nlifted to SPLs in prior work, which makes the process of applying an existing\ndeclarative analysis to a product line more straightforward.\n In this paper, we take an existing declarative analysis (behaviour\nalteration) written in the Grok declarative language, port it to Datalog, and\napply it to a set of automotive software product lines from General Motors. We\ndiscuss the design of the analysis pipeline used in this process, present its\nscalability results, and provide a means to visualize the analysis results for\na subset of products filtered by feature expression. We also reflect on some of\nthe lessons learned throughout this project.\n