The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
Software product lines: practices and patterns
Software product lines: practices and patterns
A Standard Problem for Evaluating Product-Line Methodologies
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Feature Models are Views on Ontologies
SPLC '06 Proceedings of the 10th International on Software Product Line Conference
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Verifying feature models using OWL
Web Semantics: Science, Services and Agents on the World Wide Web
SERA '07 Proceedings of the 5th ACIS International Conference on Software Engineering Research, Management & Applications
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
Journal of Automated Reasoning
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Automated analysis of feature models 20 years later: A literature review
Information Systems
Using constraint programming to verify DOPLER variability models
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Conformance Checking with Constraint Logic Programming: The Case of Feature Models
COMPSAC '11 Proceedings of the 2011 IEEE 35th Annual Computer Software and Applications Conference
BeTTy: benchmarking and testing on the automated analysis of feature models
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
International Journal of Information System Modeling and Design
Proceedings of the 17th International Software Product Line Conference
Hi-index | 0.00 |
Feature models are a common way to represent variability requirements of software product lines by expressing the set of feature combinations that software products can have. Assuring quality of feature models is thus of paramount importance for assuring quality in software product line engineering. However, feature models can have several types of defects that disminish benefits of software product line engineering.Two of such defects are dead features and false optional features. Several state-of-the-art techniques identify these defects, but only few of them tackle the problem of identifying their causes. Besides, the explanations they provide are cumbersome and hard to understand by humans. In this paper, we propose an ontological rule-based approach to: (a) identify dead and false optional features; (b)identify certain causes of these defects; and (c) explain these causes in natural language helping modelers to correct found defects. We represent our approach with a feature model taken from literature. A preliminary empirical evaluation of our approach over 31 FMs shows that our proposal is effective, accurate and scalable to 150 features.