DirectDebug: A software package for the automated testing and debugging of feature models

Abstract Complex and large-scale feature models can become faulty, i.e., do not represent the expected variability properties of the underlying software artifact. In this paper, we propose the DirectDebug algorithm that supports the automated testing and debugging of variability models. Our approach assists software engineers in identifying an adaptation hint (diagnosis) that makes all test cases consistent with the knowledge base. We also develop the software package so-called d2bug_eval to evaluate the DirectDebug ’s performance. The software package can be re-produced thoroughly to evaluate consistency-based algorithms.

[1]  Thomas Leich,et al.  FeatureIDE: An extensible framework for feature-oriented software development , 2014, Sci. Comput. Program..

[2]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[3]  Alexander Felfernig,et al.  Automated Analysis in Feature Modelling and Product Configuration , 2013, ICSR.

[4]  Markus Stumptner,et al.  Consistency-based diagnosis of configuration knowledge bases , 1999, Artif. Intell..

[5]  Ulrich Junker,et al.  QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.

[6]  Alexander Felfernig,et al.  OpenReq: recommender systems in requirements engineering , 2017 .

[7]  Andreas Zeller.  Automated Debugging: Are We Close , 2001, Computer.

[8]  Alexander Felfernig,et al.  An efficient diagnosis algorithm for inconsistent constraint sets , 2011, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[9]  Douglas C. Schmidt,et al.  Automated diagnosis of feature model configurations , 2010, J. Syst. Softw..

[10]  Miguel Toro,et al.  Automated error analysis for the agilization of feature modeling , 2008, J. Syst. Softw..

[11]  Sergio Segura,et al.  BeTTy: benchmarking and testing on the automated analysis of feature models , 2012, VaMoS.

[12]  Alexander Felfernig,et al.  DIRECTDEBUG: Automated Testing and Debugging of Feature Models , 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).

[13]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[14]  Markus Stumptner,et al.  Configuration Knowledge Representation and Reasoning , 2014 .

[15]  Donald D. Cowan,et al.  S.P.L.O.T.: software product lines online tools , 2009, OOPSLA Companion.

[16]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[17]  P. M. Wognum,et al.  Diagnosing and Solving Over-Determined Constraint Satisfaction Problems , 1993, IJCAI.