Write a Blog >>
Sun 10 - Sat 16 October 2021
Fri 15 Oct 2021 10:50 - 11:10 at Room 2 - Testing and Analysis IV Chair(s): Fuyuki Ishikawa

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 \emph{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 (\emph{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.

Fri 15 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

10:30 - 11:30
Testing and Analysis IVTechnical Papers at Room 2
Chair(s): Fuyuki Ishikawa National Institute of Informatics
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven DevelopmentFT
Technical Papers
Majid Babaei Queen's University, Juergen Dingel Queen's University, Kingston, Ontario
Applying Declarative Analysis to Software Product Line Models: An Industrial StudyP&I
Technical Papers
Ramy Shahin University of Toronto, Robert Hackman , Rafael F. Toledo University of Waterloo, Ramesh S , Joanne M. Atlee University of Waterloo, Marsha Chechik University of Toronto
Analysis of Variability Models: A Systematic Literature ReviewJ1ST
Technical Papers