Strategies for analyzing configurable systems
| dc.contributor.author | Rhein, Alexander Von | |
| dc.contributor.author | Apel, Sven | |
| dc.contributor.editor | Aßmann, Uwe | |
| dc.contributor.editor | Demuth, Birgit | |
| dc.contributor.editor | Spitta, Thorsten | |
| dc.contributor.editor | Püschel, Georg | |
| dc.contributor.editor | Kaiser, Ronny | |
| dc.date.accessioned | 2017-06-30T20:56:03Z | |
| dc.date.available | 2017-06-30T20:56:03Z | |
| dc.date.issued | 2015 | |
| dc.description.abstract | The advent of variability management and generator technology enables users to derive individual system variants from a given configurable system just based on a selection of desired configuration options. To cope with the possibly huge configuration space, researchers have been developing analysis techniques that follow different strategies to incorporate (static) variability. We discuss different strategies (variability-aware analysis and sampling) and evaluate them in different settings (model checking, type checking, and liveness analysis). A key finding is that variability-aware analysis outperforms most sampling approaches with respect to analysis time while being able to make definite statements about all variants of a configurable system. | en |
| dc.identifier.isbn | 978-3-88579-633-6 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software-engineering and management 2015 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-239 | |
| dc.title | Strategies for analyzing configurable systems | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 50 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 49 | |
| gi.conference.date | 17.-20. März 2015 | |
| gi.conference.location | Dresden |
Dateien
Originalbündel
1 - 1 von 1