A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 313-322

  Pohl, Richard ^a   Lauenroth, Kim ^a   Pohl, Klaus ^a  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

automated reasoning techniques; feature model; performance measurement; software product line

Indexed keywords

ALGORITHMIC APPROACH; AUTOMATED ANALYSIS; AUTOMATED REASONING; AUTOMATIC VERIFICATION; BOOLEAN EXPRESSIONS; FEATURE MODELS; HIGH-PERFORMANCE SOLVERS; PERFORMANCE COMPARISON; PERFORMANCE MEASUREMENTS; PROBLEM STRUCTURE; SOFTWARE PRODUCT LINE; VARIABILITY MODEL;

AUTOMATA THEORY; AUTOMATION; NETWORK ARCHITECTURE; SOFTWARE DESIGN; VERIFICATION;

MODELS;

EID: 84855445523     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2011.6100068     Document Type: Conference Paper

References (36)

1. S. B. Akers, "Binary Decision Diagrams", IEEE Trans. Comput., vol. C-27 (6), pp. 509-516, Jun. 1978.
2. D. S. Batory, "Feature models, grammars, and propositional formulas", in Proc. 9th Int'l Software Product Line Conference, 2005, pp. 7-20.
3. A. Biere, "PicoSAT essentials", Journal on Satisfiability, Boolean Modeling and Computation (JSAT), vol. 4 (2-4), pp. 75-97, 2008.
4. B. Bollig, and I. Wegener, "Improving the variable ordering of OBDDs is NP-complete", IEEE Trans. Comput., vol. 45 (9), pp. 993-1002, Sept. 1996. (Pubitemid 126768781)
5. D. Benavides, A. Ruiz-Cortés, and P. Trinidad, "Coping with automated reasoning on software product lines", in Proc. 2nd Groningen Workshop on Software Variability Management, 2004.
6. D. Benavides, A. Ruiz-Cortés, and P. Trinidad, "Automated reasoning on feature models", in Proc. 17th Int'l Conference on Advanced Information Systems Engineering, 2005, pp. 491-503.
7. D. Benavides, A. Ruiz-Cortés, and P. Trinidad, "Using constraint programming to reason on feature models", in Proc. 17th Int'l Conference on Software Engineering and Knowledge Engineering, 2005, pp. 677-682.
8. D. Benavides, A. Ruiz-Cortes, P. Trinidad, and S. Segura, "A survey on the automated analysis of feature models", In Jornadas de Ingeniera del Software y Bases de Datos (JISBD), vol. 11, Oct. 2006.
9. D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cortés, "A first step towards a framework for the automated analysis of feature models", in Proc. Managing Variability for Software Product Lines: Working with Variability Mechanisms, 2006, pp. 39-47.
10. D. Benavides, S. Segura, and A. Ruiz-Cortés, "Automated analysis of feature models 20 years later: A literature review", Information Systems, vol- 35 (6), September 2010, pp. 615-636.
11. Y. Bontemps, P. Heymans, P. Schobbens, and J. Trigaux, "The semantics of FODA feature diagrams", in Proc. Workshop on Software Variability Management for Product Derivation - Towards Tool Support, 2004.
12. S. A. Cook., "The complexity of theorem-proving procedures", in Proc. 3rd annual ACM symposium on Theory of computing, 1971, pp. 151-158.
13. C. Czarnecki, and A. Wasowski, "Feature diagrams and logics: there and back again", in Proc. 11th Int'l Software Product Line Conference, 2007, pp. 23-24.
14. V. D'Silva, D. Kroening, G. Weissenbacher. "A survey of automated techniques for formal software verification", IEEE Trans. Computer-Aided Design Integr. Circuits Syst., vol.27 (7), pp.1165-1178, Jul. 2008
15. M. Gebser, B. Kaufmann, A. Neumann, T. Schaub, "clasp: A conflict-driven answer set solver", Springer LNCS 4483/2007, pp. 260-265, 2007.
16. E. Hebrard: "Mistral, a constraint satisfaction library", In Proc. 3rd Int'l CSP Solver Competition, 2008, pp. 31-39.
17. http://www.cril.univ-artois.fr/CPAI09/results/results.php?idev=30
18. http://www.satcompetition.org
19. http://www.splot-research.org
20. M. Janota, J. Kiniry, and G. Botterweck, "Formal methods in software product lines: concepts, survey, and guidelines", Lero, University of Limerick, Tech. Rep. TR-SPL-2008-02, 2008.
21. N. Jussien, G. Rochart, and X. Lorca, "The CHOCO constraint programming solver." In Proc. Workshop on Open-Source Software for Integer and Contraint Programming, 2008.
22. K. C. Kang, G. S. Cohen, J. A. Hess, W. E. Novak, A. S. Peterson, "Feature-oriented domain analysis (FODA) feasibility study", Software Engineering Institute, Carnegie Mellon University, Tech. Rep., CMU/SEI-90-TR-21, 1990.
23. A. Metzger, K. Pohl, P. Heymans, P.-Y. Schobbens, G. Saval, "Disambiguating the documentation of variability in software product lines", In Proc. 15th IEEE Int'l Requirements Engineering Conference, 2007, pp. 243-253.
24. D. Le Berre, "SAT4J". http://www.sat4j.org/.
25. J. Lind-Nielsen, "Buddy: A binary decision diagram package", Department of Information Technology, Technical University of Denmark. http://sourceforge.net/projects/buddy.
26. M. Mendonça, A. Wasowski, K. Czarnecki, and D. Cowan, "Efficient compilation techniques for large scale feature models", in Proc. 7th Int'l Conference on Generative Programming and Component Engineering, 2008, pp. 13-22.
27. K. Pohl, G. Böckle, and F. van der Linden, Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, 2005.
28. S. Rueda, "Functional and performance testing of feature model analysis tools. Extending the FaMa ecosystem", University of Sevilla, European Doctoral Dissertation, 2010.
29. K. A. Sakallah, J. Marques-Silva, "Anatomy and empirical evaluation of modern SAT solvers", Bulletin of the EATCS, no. 103, 2011.
30. F. Somenzi, "Cudd: Colorado university decision diagram package", Department of Electrical and Computer Engineering, University of Colorado. http://vlsi.colorado.edu/fabio/CUDD.
31. B. Tabachnick; L. Fidell, Using Multivariate Statistics, 5th Edition. Pearson Education, 2007.
32. N. Tamura, "Cream". http: //bach.istc.kobe-u.ac.jp/cream/, 2004.
33. P. Trinidad, D. Benavides, A. Ruiz-Cortés, S. Segura, and A. Jimenez, "FaMa framework", in Proc. 12th Int'l Software Product Line Conference, 2008, p. 359.
34. E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1995.
35. J. Whaley, "JavaBDD". http://javabdd.sourceforge.net/.
36. C. Wohlin, P. Runeson, M. Höst, M. C. Ohlsson, B. Regnell, A. Wessln, Experimentation in Software Engineering: An Introduction, Second Print ing. Kluwer Acacemic Publishers, 2002.