Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience Report
Gespeichert in:
| Titel: | Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience Report |
|---|---|
| Autoren: | Wolfgang Scholz, Thomas Thüm, Sven Apel, Christian Lengauer |
| Weitere Verfasser: | The Pennsylvania State University CiteSeerX Archives |
| Quelle: | http://www.infosun.fim.uni-passau.de/cl/publications/docs/FOSD2011spek.pdf. |
| Publikationsjahr: | 2011 |
| Bestand: | CiteSeerX |
| Schlagwörter: | programming by contract, reliability General Terms Design, Languages, Verification Keywords Feature Interaction, Software Product Lines, JML, FeatureHouse |
| Beschreibung: | 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 |
| Publikationsart: | text |
| Dateibeschreibung: | application/pdf |
| Sprache: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.7072 |
| Verfügbarkeit: | 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. |
| Dokumentencode: | edsbas.BDEF71C5 |
| Datenbank: | BASE |
Nájsť tento článok vo Web of Science | Abstract: | 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 |
|---|