Computer Science – Software Engineering
Scientific paper
2011-09-30
Computer Science
Software Engineering
12 pages, 9 figures, 1 table
Scientific paper
A software product line is a set of software products that are distinguished in terms of features (i.e., end-user--visible units of behavior). Feature interactions ---situations in which the combination of features leads to emergent and possibly critical behavior--- are a major source of failures in software product lines. We explore how feature-aware verification can improve the automatic detection of feature interactions in software product lines. Feature-aware verification uses product-line verification techniques and supports the specification of feature properties along with the features in separate and composable units. It integrates the technique of variability encoding to verify a product line without generating and checking a possibly exponential number of feature combinations. We developed the tool suite SPLverifier for feature-aware verification, which is based on standard model-checking technology. We applied it to an e-mail system that incorporates domain knowledge of AT&T. We found that feature interactions can be detected automatically based on specifications that have only feature-local knowledge, and that variability encoding significantly improves the verification performance when proving the absence of interactions.
Apel Sven
Beyer Dirk
Rhein Alexander von
Speidel Hendrik
Wendler Philipp
No associations
LandOfFree
Feature-Aware Verification does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Feature-Aware Verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Feature-Aware Verification will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-236413