Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
Feature combination and interaction detection via foreground/background models
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on the feature interactions in telecommunications systems
PGP: Pretty Good Privacy
Automated Software Engineering
An Overview of Lutess: A Specification-Based Tool for Testing Synchronous Software
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Interfaces for Modular Feature Verification
Proceedings of the 17th IEEE international conference on Automated software engineering
A method and tools for large scale scenarios
Automated Software Engineering
Language-independent reference checking in software product lines
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
The road to feature modularity?
Proceedings of the 15th International Software Product Line Conference, Volume 2
Detection of feature interactions using feature-aware verification
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Strategies for product-line verification: case studies and experiments
Proceedings of the 2013 International Conference on Software Engineering
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Feature-interaction detection based on feature-based specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Family-based performance measurement
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Exploring feature interactions in the wild: the new feature-interaction challenge
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Hi-index | 0.00 |
Electronic mail (email) systems have grown in complexity to the point where their reliability and usability are coming into question. The authors of individual email components are widely distributed in both time and space, bound together only by message structure and transfer protocol specifications; consequently filters, autoresponders, and various security features may interact in unanticipated and, often, incomprehensible ways. This paper describes a formalism for modeling and composing specifications of email features, and a feature interaction detection methodology based in part on human intuition and in part on simulation and formal test coverage. The appendix lists 27 interactions found from applying the methodology to ten common email features, a result of independent interest considering the age and relative maturity of the email domain. The paper then proceeds to categorize the interactions according to their impact on the design of the system. This includes a design study of the most natural ways to fix the undesirable behaviors. From this we can infer non-modular dependencies among the features, leading to the result that 9 of the 10 features must be revised (and a custom user interface must be built for them) after they are composed and after feature interactions are detected. This pervasive nonmodularity shows that feature interaction analysis is necessary to optimizing the correctness of an email system design.