research-article

A cover-based approach for configuration repair

Authors:

Jorge Barreiros,

Ana MoreiraAuthors Info & Claims

SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1

Pages 157 - 166

https://doi.org/10.1145/2648511.2648528

Published: 15 September 2014 Publication History

Abstract

Feature models are often used to describe variability and commonality in Software Product Lines, specifying admissible configurations of valid products. However, invalid configurations may arise in some scenarios. These include feature model evolution that invalidates pre-existing products or collaborative configuration by multiple stakeholders with conflicting goals, among others. This problem has been acknowledged in the literature and some techniques for configuration repair have already been proposed. However, common optimization criteria such as proximity between original and repaired configurations can result in a significant number of alternative repair possibilities, easily attaining thousands of alternatives for models of practical dimension. Consequently, rather than just efficiently providing an exhaustive list of possibilities, an approach that specifically addresses this issue should be able to offer the user a manageable and comprehensible view of the configuration problems and potential repair options. We offer a novel approach for configuration repair, based on partitioning and cover analysis, with high performance and generating high quality solutions, which allows efficient identification and presentation of multiple competing repairs.

References

[1]

Bagheri, E. et al. 2010. Configuring Software Product Line Feature Models Based on Stakeholders' Soft and Hard Requirements. SPLC (2010), 16--31.

Digital Library

[2]

Batory, D. S. 2005. Feature Models, Grammars, and Propositional Formulas. Proceedings of the 9th International Conference on Software Product Lines (Rennes, France, 2005), 7--20.

Digital Library

[3]

Berger, T. et al. 2010. Variability modeling in the real. Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 (New York, New York, USA, 2010), 73.

Digital Library

[4]

Czarnecki, K. et al. 2004. Staged Configuration Using Feature Models. Proceedings of the 3rd International Conference on Software Product Lines (Boston, USA, 2004), 266--283.

[5]

Egyed, A. et al. 2008. Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. 2008 23rd IEEE/ACM International Conference on Automated Software Engineering (L'Aquila, Italy, Sep. 2008), 99--108.

Digital Library

[6]

Greiner, R. et al. 1989. A correction to the algorithm in reiter's theory of diagnosis. Artificial Intelligence. 41, 1 (Nov. 1989), 79--88.

Digital Library

[7]

Hadzic, T. et al. 2004. Fast Backtrack-Free Product Configuration Using A Precompiled Solution Space Representation. PETO. (2004), 131--138.

[8]

Jose, M. and Majumdar, R. 2011. Cause clue clauses: Error Localization using Maximum Satisfiability. Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 (New York, New York, USA, 2011), 437.

Digital Library

[9]

Kang, K. C. and Donohoe, P. 2002. Feature-oriented product line engineering. IEEE Software. 19, 4 (Jul. 2002), 58--65.

Digital Library

[10]

kconfig language definition:https://www.kernel.org/doc/Documentation/kbuild/kconfig-language.txt (accessed Jun-2014).

[11]

Mendonca, M. et al. 2008. Decision-making coordination in collaborative product configuration. 23rd Annual ACM Symposium on Applied Computing (Brazil, 2008).

Digital Library

[12]

Mendonca, M. et al. 2009. S.P.L.O.T: Software Product Lines Online Tools. Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09 (New York, New York, USA, Oct. 2009), 761.

Digital Library

[13]

Morganho, Hugo Pimentão, J. P. et al. 2007. Description of feasible industrial case studies. http://www.ampleproject.net (accessed Jun-2014)

[14]

Nelson, V. P. et al. 1995. Digital Logic Circuit Analysis and Design. Prentice Hall.

Digital Library

[15]

Nentwich, C. et al. 2003. Consistency Management with Repair Actions. Proceedings of the 25th International Conference on Software Engineering (Portland, USA, 2003), 455--464.

Digital Library

[16]

Rudell, R. L. 1986. Multiple-Valued Logic Minimization for PLA Synthesis -Technical Report UCB/ERL M86-65 (Berkeley).

[17]

The eCos Component Writer's Guide: 2001. http://ecos.sourceware.org/ecos/docs-latest/cdl-guide/cdl-guide.html(accessed Jun-2014).

[18]

Wang, B. et al. 2013. SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities. Proceedings of the 17th International Software Product Line Conference (Tokyo, Japan, 2013), 82--90.

Digital Library

[19]

White, J. et al. 2010. Automated diagnosis of feature model configurations. Journal of Systems and Software. 83, 7 (Jul. 2010), 1094--1107.

Digital Library

[20]

Xiong, Y. et al. 2012. Generating range fixes for software configuration. Proceedings of the 34th International Conference on Software Engineering (2012), 58--68.

Digital Library

Cited By

Heß TKarrer SOstheimer L(2024)Multi-Version Decision Propagation for Configuring Feature Models in Space and TimeProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676550(88-92)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676550
Lu HYue TAli SZhang L(2016)Nonconformity Resolving Recommendations for Product Line Configuration2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2016.17(57-68)Online publication date: Apr-2016
https://doi.org/10.1109/ICST.2016.17
Montalvillo LDíaz OSchmidt D(2015)Tuning GitHub for SPL developmentProceedings of the 19th International Conference on Software Product Line10.1145/2791060.2791083(111-120)Online publication date: 20-Jul-2015
https://dl.acm.org/doi/10.1145/2791060.2791083
Show More Cited By

Index Terms

A cover-based approach for configuration repair
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Domain specific languages
    2. Software configuration management and version control systems

Recommendations

Towards a framework for collaborative and coordinated product configuration
OOPSLA '06: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications

In system-family approaches, product configuration is the activity of selecting the features desired for a software product. Although this process is typically collaborative this aspect has long been neglected. On the other hand, enabling collaborative ...
Runtime collaborative-based configuration of software product lines
ICSE-C '17: Proceedings of the 39th International Conference on Software Engineering Companion

Software Product Line (SPL) configuration practices have been employed by industries as a mass customization process. However, the inherent variability of large SPLs leads to configuration spaces of exponential sizes. Thus, scalability and performance ...
Towards a framework for collaborative and coordinated product configuration
OOPSLA '06: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications

In system-family approaches, product configuration is the activity of selecting the features desired for a software product. Although this process is typically collaborative this aspect has long been neglected. On the other hand, enabling collaborative ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1

September 2014

377 pages

ISBN:9781450327404

DOI:10.1145/2648511

Editors:
Stefania Gnesi
ISTI-CNR, Italy
,
Patrick Heymans
University of Namur, Belgium
,
Julia Rubin
IBM Research, Israel
,
Krzysztof Czarnecki
University of Waterloo, Canada
,
Deepak Dhungana
Siemens AG, Austria
,
Alessandro Fantechi
University of Florence, Italy
,
General Chairs:
Alessandro Fantechi
University of Florence, Italy
,
Stefania Gnesi
ISTI-CNR, Italy

Copyright © 2014 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

University of Florence: University of Florence
CNR: Istituto di Scienza e Tecnologie dell Informazione

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 September 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLC '14

Sponsor:

University of Florence
CNR

SPLC '14: 18th International Software Product Line Conference

September 15 - 19, 2014

Florence, Italy

Acceptance Rates

SPLC '14 Paper Acceptance Rate 36 of 97 submissions, 37%;

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
134
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)2

Reflects downloads up to 24 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Heß TKarrer SOstheimer L(2024)Multi-Version Decision Propagation for Configuring Feature Models in Space and TimeProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676550(88-92)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676550
Lu HYue TAli SZhang L(2016)Nonconformity Resolving Recommendations for Product Line Configuration2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2016.17(57-68)Online publication date: Apr-2016
https://doi.org/10.1109/ICST.2016.17
Montalvillo LDíaz OSchmidt D(2015)Tuning GitHub for SPL developmentProceedings of the 19th International Conference on Software Product Line10.1145/2791060.2791083(111-120)Online publication date: 20-Jul-2015
https://dl.acm.org/doi/10.1145/2791060.2791083
Yingfei Xiong Hansheng Zhang Hubaux AShe SJie Wang Czarnecki K(2015)Range Fixes: Interactive Error Resolution for Software ConfigurationIEEE Transactions on Software Engineering10.1109/TSE.2014.238338141:6(603-619)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1109/TSE.2014.2383381
Montalvillo LDíaz O(2012)Evolution in Software Product Lines: An OverviewHandbook of Re-Engineering Software Intensive Systems into Software Product Lines10.1007/978-3-031-11686-5_20(495-512)Online publication date: 24-Feb-2012
https://doi.org/10.1007/978-3-031-11686-5_20

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents