Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Detection of Feature Interactions using Feature-Aware Verification

Summary: Detection of Feature Interactions using
Feature-Aware Verification
Sven Apel 1, Hendrik Speidel 1, Philipp Wendler 1, Alexander von Rhein 1, Dirk Beyer 1,2
1 University of Passau, Germany
2 Simon Fraser University, B.C., Canada
Abstract--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


Source: Apel, Sven - Fakultät für Informatik und Mathematik, Universität Passau


Collections: Computer Technologies and Information Sciences