Consistency Checking in Early Software Product Line Specifications - The VCC Approach (bibtex)
by Mauricio Alferez, Roberto E. Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed
Abstract:
Software Product Line Engineering (SPLE) is a successful paradigm to produce a family of products for a specific domain. A challenge in SPLE is to check that different models used in early SPL specification do not contain inconsistent information that may be propagated and generate inconsistent products that do not conform to its requirements. This challenge is difficult to address due to the high number of possible combinations of product features and model fragments specifying those features. Variability Consistency Checking (VCC) offers automatic means to address that challenge. VCC relates information inferred from the relationships between features and from base models related to those features. Validating if all the products in an SPL satisfy user-defined consistency constraints is based on searching for a satisfying assignment of each formula generated by VCC. We validated VCC and its supporting tool on two case studies from different application domains, the results were encouraging as we did not observed significant performance penalties.
Reference:
Consistency Checking in Early Software Product Line Specifications - The VCC Approach (Mauricio Alferez, Roberto E. Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed), In Journal of Universal Computer Science (JUCS), volume 20, 2014.
Bibtex Entry:
@Article{dblp:journals/jucs/AlferezLMAE14,
  author   = {Mauricio Alferez and Roberto E. Lopez-Herrejon and Ana Moreira and Vasco Amaral and Alexander Egyed},
  title    = {Consistency Checking in Early Software Product Line Specifications - The VCC Approach},
  journal  = {Journal of Universal Computer Science (JUCS)},
  year     = {2014},
  volume   = {20},
  number   = {5},
  pages    = {640-665},
  abstract = {Software Product Line Engineering (SPLE) is a successful paradigm
	to produce a family of products for a specific domain. A challenge
	in SPLE is to check that different models used in early SPL specification
	do not contain inconsistent information that may be propagated and
	generate inconsistent products that do not conform to its requirements.
	This challenge is difficult to address due to the high number of
	possible combinations of product features and model fragments specifying
	those features. Variability Consistency Checking (VCC) offers automatic
	means to address that challenge. VCC relates information inferred
	from the relationships between features and from base models related
	to those features. Validating if all the products in an SPL satisfy
	user-defined consistency constraints is based on searching for a
	satisfying assignment of each formula generated by VCC. We validated
	VCC and its supporting tool on two case studies from different application
	domains, the results were encouraging as we did not observed significant
	performance penalties.},
  file     = {:Journals\\JUCS 2014 - Consistency Checking in Early Software Product Line Specifications\\Consistency Checking in Early Software Product Line Specifications-preprint.pdf:PDF},
  keywords = {FWF M1421},
  url      = {http://www.jucs.org/jucs_20_5/consistency_checking_in_early},
}
Powered by bibtexbrowser