The development of variable software, in general, and feature models, in particular, is an error-prone and time-consuming task. It gets increasingly more challenging with industrial-size models containing hundreds or thousands of features and constraints. Each change may lead to anomalies in the feature model such as making some features impossible to select. While the detection of anomalies is well-researched, giving explanations is still a challenge. Explanations must be as accurate and understandable as possible to support the developer in repairing the source of an error. We propose a generic algorithm for explaining different anomalies in feature models. We achieve a benefit for the developer by computing short explanations and by emphasizing specific parts in explanations that are more likely to be responsible for the anomaly. We provide an open-source implementation in FeatureIDE and show its scalability for industrial-size feature models.
Tue 1 Nov Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
|10:30 - 11:00|
|11:00 - 11:30|
|11:30 - 12:00|