Evaluation of a State-Based Model of Feature Interactions.
Pansy K. Au, Joanne M. Atlee · 1997
. At the second workshop on feature interactions, we proposed a statebased model for specifying features and proposed reachability-analysis algorithms for detecting various types of feature interactions. This paper is an evaluation of our approach with respect to the Bellcore benchmark of feature interactions. 1 Introduction A feature is a sub-program that adds functionality to an existing software system. A feature interaction occurs when the addition of a new feature affects the behavior of existing services and features. That is, there is an interaction between features f and g if feature f behaves one way when g is present and another way when feature g is absent. Most software developers associate `feature interactions' with unintended interactions between features that were thought to be unrelated. However, since the purpose of a feature is to modify or enhance functionality, features by definition interact; at the very least, a new feature is expected to interact with those...