Abstract
The purpose of feature models’ verification is to detect deficiencies in feature models, so as to avoid the transmission of these deficiencies into subsequent core-asset and product development activities. Although many researchers have observed that the verification problem of feature models can be transformed into SAT problems and proposed to resolve this problem based on third-party’s SAT-solver or model-checker tools, few of them point out how to use these third-party tools efficiently. In this paper, we present a binary-search based approach to feature models’ verification. Our motivation is to decrease the number of times a SAT-solver is invoked during the verification of a feature model, and thus improve the verification efficiency. The basic idea is to change feature models’ verification from the linear-search based approach to a binary-search approach, and thereby decrease the number of times to invoke a SAT-solver. Preliminary experiments show that as the number of levels in feature models increases, our approach manifests a better scalability than the linear-search based approach. This approach can be easily integrated into any feature modeling environment as its verification component.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)
Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Boston (2002)
Czarnecki, K., Kim, C.H.P.: Cardinality-Based Feature Modeling and Constraints: A Progress Report. In: OOPSLA 2005 International Workshop on Software Factories (2005)
Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis Feasibility Study. Technical Reports, SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (1990)
von der Maßen, T., Lichter, H.: Deficiencies in feature models. In: Workshop on Software Variability Management for Product Derivation, in Conjunction with the 3rd Software Product Line Conference (2004)
Mannion, M.: Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol. 2379, pp. 176–187. Springer, Heidelberg (2002)
Trinidad, P., Benavides, D., Durán, A., Ruiz-Cortés, A., Toro, M.: Automated Error Analysis for the Agilization of Feature Modeling. Journal of Systems and Software 81(6), 883–896 (2008)
Yan, H., Zhang, W., Zhao, H., Mei, H.: An Optimization Strategy to Feature Models’ Verification by Eliminating Verification-Irrelevant Features and Constraints. In: Edwards, S.H., Kulczycki, G. (eds.) ICSR 2009. LNCS, vol. 5791, pp. 65–75. Springer, Heidelberg (2009)
Zhang, W., Zhao, H., Mei, H.: A Propositional Logic-Based Method for Verification of Feature Models. In: 6th International Conference on Formal Engineering Methods, pp. 115–130 (2004)
Zhang, W., Mei, H., Zhao, H.: Feature-Driven Requirements Dependency Analysis and High-Level Software Design. Requirements Engineering Journal 11(3), 205–220 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, W., Zhao, H., Mei, H. (2011). Binary-Search Based Verification of Feature Models. In: Schmid, K. (eds) Top Productivity through Software Reuse. ICSR 2011. Lecture Notes in Computer Science, vol 6727. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21347-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-21347-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21346-5
Online ISBN: 978-3-642-21347-2
eBook Packages: Computer ScienceComputer Science (R0)