WipeOutR: automated redundancy detection for feature models
Authors: 
Viet-Man Le, 
Alexander Felfernig, 
Mathias Uta, Thi Ngoc Trang Tran, Cristian Vidal SilvaAuthors Info & Claims
Viet-Man Le, Alexander Felfernig, Mathias Uta, Thi Ngoc Trang Tran, Cristian Vidal SilvaAuthors Info & ClaimsPages 164 - 169
Abstract
Feature models are used to specify variability and commonality properties of software artifacts. In order to assure high-quality models, different feature model analysis and testing operations can be applied. In this paper, we present two new algorithms that help to make feature model configuration as well as different kinds of analysis operations more efficient. Specifically, we focus on the automated identification of redundancies in feature models and cor-responding test suites. Redundant constraints in feature models can lead to low-performing configuration (solution) search and also to additional efforts in feature model debugging. Redundant feature model test cases can trigger inefficiencies in testing operations. In this paper, we introduce WipeOutR which is an algorithmic approach to support the automated identification of redundancies. This approach has the potential to significantly improve the quality of feature model development and configuration.
References
[1]
R. Bakker, F. Dikker, F. Tempelman, and P. Wogmim. 1993. Diagnosing and solving over-determined constraint satisfaction problems. In IJCAI'93. Morgan Kaufmann, 276--281.
[2]
D. Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Software Product Lines Conference. LNCS, Vol. 3714. Springer, 7--20.
[3]
D. Benavides, A. Felfernig, J. Galindo, and F. Reinfrank. 2013. Automated Analysis in Feature Modelling and Product Configuration. In ICSR'13 (LNCS, 7925). Springer, Pisa, Italy, 160--175.
[4]
D. Benavides, S. Segura, and A. Ruiz-Cortes. 2010. Automated analysis of feature models 20 years later: A literature review. Inf. Sys. 35 (2010), 615--636. Issue 6.
[5]
A. Felfernig, D. Benavides, J. Galindo, and F. Reinfrank. 2013. Towards Anomaly Explanation in Feature Models. In 15th International Configuration Workshop. Vienna, Austria, 117--124.
[6]
A. Felfernig, G. Friedrich, D. Jannach, and M. Stumptner. 2004. Consistency-based diagnosis of configuration knowledge bases. Artificial Intelligence 152, 2 (2004), 213 -- 234.
[7]
A. Felfernig, R.Walter, J. Galindo, D. Benavides, S. Erdeniz, M. Atas, and S. Reiterer. 2018. Anytime Diagnosis for Reconfiguration. Journal of Intelligent Information Systems 51, 1 (2018), 161--182.
[8]
K. Fukada, B. Gärtner, and May Szedlak. 2015. Combinatorial Redundancy Detection. In 31st Intl. Symposium on Comput. Geometry (SoCG'15). 315--328.
[9]
S. Grimm, J. Wissmann, G. Antoniou, M. Grobelnik, E. Simperl, B. Parsia, D. Plexousakis, D. Leenheer, and J. Pan. 2011. Elimination of Redundancy in Ontologies. In The Semantic Web: Research and Applications. Springer, 260--274.
[10]
R. Heradio, D. Fernandez-Amoros, José J. Galindo, D. Benavides, and D. Batory. 2022. Uniform and scalable sampling of highly configurable systems. Empirical Software Engineering 27, 2 (21 Jan 2022), 44.
[11]
U. Junker. 2004. QuickXPlain: preferred explanations and relaxations for over-constrained problems. In AAAI 2004. 167--172.
[12]
K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. 1990. Feature-oriented Domain Analysis (FODA) - Feasibility Study. Tech.Rep. - SEI-90-TR-21 (1990).
[13]
C. Kim and P. Hwan D. Batoryand S. Khurshid. 2011. Reducing Combinatorics in Testing Product Lines (AOSD '11). Association for Computing Machinery, New York, NY, USA, 57--68.
[14]
M. Kowal, S. Ananieva, and T. Thüm. 2016. Explaining Anomalies in Feature Models. SIGPLAN Not. 52, 3 (oct 2016), 132--143.
[15]
V.M. Le, A. Felfernig, T.N.T. Tran, M. Atas, M. Uta, D. Benavides, and J. Galindo. 2021. DirectDebug: A software package for the automated testing and debugging of feature models. Software Impacts 9 (2021), 100085.
[16]
V.M. Le, A. Felfernig, M. Uta, D. Benavides, J. Galindo, and T.N.T. Tran. 2021. DirectDebug: Automated Testing and Debugging of Feature Models. In IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) (Virtual). IEEE/ACM, 81--85.
[17]
S. Paulraj and P. Sumathi. 2010. A Comparative Study of Redundant Constraints Identification Methods in Linear Programming Problems. Mathematical Problems in Engineering (2010), 1--16.
[18]
C. Piette. 2008. Let the Solver Deal with Redundancy. In 20th IEEE International Conference on Tools with Artificial Intelligence. 67--73.
[19]
R. Reiter. 1987. A theory of diagnosis from first principles. Artificial Intelligence 32, 1 (1987), 57--95.
[20]
F. Rossi, P. van Beek, and T. Walsh. 2006. Handbook of Constraint Programming. Elsevier.
[21]
M. Sabin and E. Freuder. 1999. Detecting and Resolving Inconsistency and Redundancy in Conditional Constraint Satisfaction Problems. In AAAI Workshop on Configuration. Orlando, FL, USA, 90--94.
[22]
M. ter Beek, F. Damiani, M. Lienhardt, F. Mazzanti, and L. Paolini. 2022. Efficient static analysis and verification of featured transition systems. Empirical Software Engineering 27, 10 (2022).
[23]
P. Trinidad, D. Benavides, A. Durán, A. Ruiz-Cortés, and M. Toro. 2008. Automated error analysis for the agilization of feature modeling. The Journal of Systems and Software 81 (2008), 883--896. Issue 6.
[24]
C. Vidal, A. Felfernig, J. Galindo, M. Atas, and D. Benavides. 2021. Explanations for Over-Constrained Problems Using QuickXPlain with Speculative Executions. Journal of Intelligent Information Systems 57, 3 (2021), 491--508.
[25]
A. Zeller. 2001. Automated debugging: are we close? IEEE Computer 34, 11 (2001), 26--31.
[26]
A. Zeller and R. Hildebrandt. 2002. Simplifying and Isolating Failure-Inducing Input. IEEE Trans. on Software Eng. 28, 2 (2002), 183--200.
Index Terms
- WipeOutR: automated redundancy detection for feature models
Recommendations
On extracting feature models from sets of valid feature combinations
FASE'13: Proceedings of the 16th international conference on Fundamental Approaches to Software EngineeringRather than developing individual systems, Software Product Line Engineering develops families of systems. The members of the software family are distinguished by the features they implement and Feature Models (FMs) are the de facto standard for ...
Feature assembly: a new feature modeling technique
ER'10: Proceedings of the 29th international conference on Conceptual modelingIn this paper we present a new feature modeling technique. This work was motivated by the fact that although for over two decades feature modeling techniques are used in software research for domain analysis and modeling of Software Product Lines, it ...
Reverse engineering feature models
ICSE '11: Proceedings of the 33rd International Conference on Software EngineeringFeature models describe the common and variable characteristics of a product line. Their advantages are well recognized in product line methods. Unfortunately, creating a feature model for an existing project is time-consuming and requires substantial ...
Comments
Information & Contributors
Information
Published In
September 2022
266 pages
Copyright © 2022 Owner/Author.
This work is licensed under a Creative Commons Attribution International 4.0 License.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 12 September 2022
Check for updates
Badges
Author Tags
Qualifiers
- Short-paper
Funding Sources
- Austrian Research Promotion Agency FFG
Conference
SPLC '22
Sponsor:
SPLC '22: 26th ACM International Systems and Software Product Line Conference
September 12 - 16, 2022
Graz, Austria
Acceptance Rates
SPLC '22 Paper Acceptance Rate 14 of 41 submissions, 34%;
Overall Acceptance Rate 167 of 463 submissions, 36%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 221Total Downloads
- Downloads (Last 12 months)97
- Downloads (Last 6 weeks)19
Reflects downloads up to 07 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in