Generating Range Fixes for Software Configuration.

Saved in:
Bibliographic Details
Title: Generating Range Fixes for Software Configuration.
Authors: Xiong, Yingfei1 yingfei@gsd.uwaterloo.ca, Hubaux, Arnaud2 ahu@info.fundp.ac.be, She, Steven1 shshe@gsd.uwaterloo.ca, Czarnecki, Krzysztof1 kczarnec@gsd.uwaterloo.ca
Source: ICSE: International Conference on Software Engineering. Feb2012, p58-68. 11p.
Subjects: Software configuration management, Computer software, Computer operating systems, Programming languages, Boolean functions
Abstract: To prevent ill-formed configurations, highly configurable software often allows defining constraints over the available options. As these constraints can be complex, fixing a configuration that violates one or more constraints can be challenging. Although several fix-generation approaches exist, their applicability is limited because (1) they typically generate only one fix, failing to cover the solution that the user wants; and (2) they do not fully support non-Boolean constraints, which contain arithmetic, inequality, and string operators. This paper proposes a novel concept, range fix, for software configuration. A range fix specifies the options to change and the ranges of values for these options. We also design an algorithm that automatically generates range fixes for a violated constraint. We have evaluated our approach with three different strategies for handling constraint interactions, on data from five open source projects. Our evaluation shows that, even with the most complex strategy, our approach generates complete fix lists that are mostly short and concise, in a fraction of a second. [ABSTRACT FROM AUTHOR]
Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 78198073
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Generating Range Fixes for Software Configuration.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Xiong%2C+Yingfei%22">Xiong, Yingfei</searchLink><relatesTo>1</relatesTo><i> yingfei@gsd.uwaterloo.ca</i><br /><searchLink fieldCode="AR" term="%22Hubaux%2C+Arnaud%22">Hubaux, Arnaud</searchLink><relatesTo>2</relatesTo><i> ahu@info.fundp.ac.be</i><br /><searchLink fieldCode="AR" term="%22She%2C+Steven%22">She, Steven</searchLink><relatesTo>1</relatesTo><i> shshe@gsd.uwaterloo.ca</i><br /><searchLink fieldCode="AR" term="%22Czarnecki%2C+Krzysztof%22">Czarnecki, Krzysztof</searchLink><relatesTo>1</relatesTo><i> kczarnec@gsd.uwaterloo.ca</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>. Feb2012, p58-68. 11p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Software+configuration+management%22">Software configuration management</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+operating+systems%22">Computer operating systems</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Boolean+functions%22">Boolean functions</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: To prevent ill-formed configurations, highly configurable software often allows defining constraints over the available options. As these constraints can be complex, fixing a configuration that violates one or more constraints can be challenging. Although several fix-generation approaches exist, their applicability is limited because (1) they typically generate only one fix, failing to cover the solution that the user wants; and (2) they do not fully support non-Boolean constraints, which contain arithmetic, inequality, and string operators. This paper proposes a novel concept, range fix, for software configuration. A range fix specifies the options to change and the ranges of values for these options. We also design an algorithm that automatically generates range fixes for a violated constraint. We have evaluated our approach with three different strategies for handling constraint interactions, on data from five open source projects. Our evaluation shows that, even with the most complex strategy, our approach generates complete fix lists that are mostly short and concise, in a fraction of a second. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=78198073
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 11
        StartPage: 58
    Subjects:
      – SubjectFull: Software configuration management
        Type: general
      – SubjectFull: Computer software
        Type: general
      – SubjectFull: Computer operating systems
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Boolean functions
        Type: general
    Titles:
      – TitleFull: Generating Range Fixes for Software Configuration.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Xiong, Yingfei
      – PersonEntity:
          Name:
            NameFull: Hubaux, Arnaud
      – PersonEntity:
          Name:
            NameFull: She, Steven
      – PersonEntity:
          Name:
            NameFull: Czarnecki, Krzysztof
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: Feb2012
              Type: published
              Y: 2012
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1