Towards Automated Testing and Debugging of Feature ModelsNIER
Fri 28 May 2021 07:40 - 07:55 at Blended Sessions Room 2 - 3.5.2. Continuous Integration, Feature Models and Program Transformation
Variability models (e.g., feature models) are a common way for the representation of variabilities and commonalities of software artifacts. Such models can be translated to a logical representation and thus allow different operations for quality assurance and other types of model property analysis. Specifically, complex and often large-scale feature models can become faulty, i.e., do not represent the expected variability properties of the underlying software artifact. In this paper, we introduce DirectDebug which is a direct diagnosis approach to the automated testing and debugging of variability models. The algorithm helps software engineers by supporting an automated identification of faulty constraints responsible for an unintended behavior of a variability model. This approach can significantly decrease development and maintenance efforts for such models.
Thu 27 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
19:20 - 20:10 | 3.5.2. Continuous Integration, Feature Models and Program TransformationNIER - New Ideas and Emerging Results / SEIP - Software Engineering in Practice at Blended Sessions Room 2 +12h Chair(s): Antonia Bertolino CNR-ISTI | ||
19:20 20mPaper | Enterprise-Driven Open Source Software: A Case Study on Security AutomationSEIP SEIP - Software Engineering in Practice Florian Angermeir Technical University of Munich, Markus Voggenreiter Siemens - LMU, Fabiola Moyon Siemens / TUM, Daniel Mendez Blekinge Institute of Technology Pre-print Media Attached | ||
19:40 15mPaper | Towards Automated Testing and Debugging of Feature ModelsNIER NIER - New Ideas and Emerging Results Viet-Man Le Graz University of Technology, Alexander Felfernig Graz University of Technology, Mathias Uta Siemens Gas and Power, David Benavides Universidad de Sevilla, Jose Galindo University of Seville, Trang Tran Graz University of Technology Link to publication Pre-print Media Attached | ||
19:55 15mPaper | Towards Modal Software EngineeringNIER NIER - New Ideas and Emerging Results Ramy Shahin University of Toronto Pre-print Media Attached |
Fri 28 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
07:20 - 08:10 | 3.5.2. Continuous Integration, Feature Models and Program TransformationNIER - New Ideas and Emerging Results / SEIP - Software Engineering in Practice at Blended Sessions Room 2 | ||
07:20 20mPaper | Enterprise-Driven Open Source Software: A Case Study on Security AutomationSEIP SEIP - Software Engineering in Practice Florian Angermeir Technical University of Munich, Markus Voggenreiter Siemens - LMU, Fabiola Moyon Siemens / TUM, Daniel Mendez Blekinge Institute of Technology Pre-print Media Attached | ||
07:40 15mPaper | Towards Automated Testing and Debugging of Feature ModelsNIER NIER - New Ideas and Emerging Results Viet-Man Le Graz University of Technology, Alexander Felfernig Graz University of Technology, Mathias Uta Siemens Gas and Power, David Benavides Universidad de Sevilla, Jose Galindo University of Seville, Trang Tran Graz University of Technology Link to publication Pre-print Media Attached | ||
07:55 15mPaper | Towards Modal Software EngineeringNIER NIER - New Ideas and Emerging Results Ramy Shahin University of Toronto Pre-print Media Attached |