Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution.

NÃ¶hrer, Alexander; Reder, Alexander; Egyed, Alexander

doi:10.1145/1985793.1985927

Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution.

by Alexander NÃ¶hrer, Alexander Reder, Alexander Egyed

Abstract:

State-of-the-art modeling tools can help detect inconsistencies in software models. Some can even generate fixing actions for these inconsistencies. However such approaches handle inconsistencies individually, assuming that each single inconsistency is a manifestation of an individual defect. We believe that inconsistencies are merely expressions of defects. That is, inconsistencies highlight situations under which defects are observable. However, a single defect in a software model may result in many inconsistencies and a single inconsistency may be the result of multiple defects. Inconsistencies may thus be related to other inconsistencies and we believe that during fixing, one should consider clusters of such related inconsistencies. This paper provides first evidence and emerging results that several inconsistencies can be linked to a single defect and show that with such knowledge only a subset of fixes need to be considered during inconsistency resolution.

Reference:

Alexander NÃ¶hrer, Alexander Reder, Alexander Egyed, "Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution.", pp. 864-867, 2011.

Bibtex Entry:

@Conference{DBLP:conf/icse/NohrerRE11,
  Title                    = {Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution.},
  Author                   = {Alexander NÃ¶hrer and Alexander Reder and Alexander Egyed},
  Booktitle                = {33rd International Conference on Software Engineering (ICSE), New Ideas and Emerging Results Track, Honolulu, Hawaii},
  Year                     = {2011},
  Pages                    = {864-867},

  Abstract                 = {State-of-the-art modeling tools can help detect inconsistencies in software models. Some can even generate fixing actions for these inconsistencies. However such approaches handle inconsistencies individually, assuming that each single inconsistency is a manifestation of an individual defect. We believe that inconsistencies are merely expressions of defects. That is, inconsistencies highlight situations under which defects are observable. However, a single defect in a software model may result in many inconsistencies and a single inconsistency may be the result of multiple defects. Inconsistencies may thus be related to other inconsistencies and we believe that during fixing, one should consider clusters of such related inconsistencies. This paper provides first evidence and emerging results that several inconsistencies can be linked to a single defect and show that with such knowledge only a subset of fixes need to be considered during inconsistency resolution.},
  Doi                      = {10.1145/1985793.1985927},
  File                     = {Utilizing Relationships Between Inconsistencies for more Effective Inconsistency Resolution:Conferences\\ICSE 2011 - Utilizing Relationships Between Inconsistencies for more Effective Inconsistency Resolution\\Utilizing Relationships Between Inconsistencies for more Effective Inconsistency Resolution.pdf:PDF},
  Keywords                 = {consistency}
}