Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience Report
Saved in:
| Title: | Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience Report |
|---|---|
| Authors: | Wolfgang Scholz, Thomas Thüm, Sven Apel, Christian Lengauer |
| Contributors: | The Pennsylvania State University CiteSeerX Archives |
| Source: | http://www.infosun.fim.uni-passau.de/cl/publications/docs/FOSD2011spek.pdf. |
| Publication Year: | 2011 |
| Collection: | CiteSeerX |
| Subject Terms: | programming by contract, reliability General Terms Design, Languages, Verification Keywords Feature Interaction, Software Product Lines, JML, FeatureHouse |
| Description: | In the development of complex software systems, interactions between different program features increase the design complexity. Feature-oriented software development focuses on the representation and compositions of features. The implementation of features often cuts across object-oriented module boundaries and hence comprises interactions. The manual detection and treatment of feature interactions requires a deep knowledge of the implementation details of the features involved. Our goal is to detect interactions automatically using specifications by means of design by contract and automated theorem proving. We provide a software tool that operates on programs in Java and the Java Modeling Language (JML). We discuss which kinds of feature interactions can be detected automatically with our tool and how to detect other kinds of interactions. Categories and Subject Descriptors |
| Document Type: | text |
| File Description: | application/pdf |
| Language: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.7072 |
| Availability: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.7072 http://www.infosun.fim.uni-passau.de/cl/publications/docs/FOSD2011spek.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Accession Number: | edsbas.BDEF71C5 |
| Database: | BASE |
Nájsť tento článok vo Web of Science Be the first to leave a comment!