Feature Interaction Detection Using Testing and Model-Checking Experience Report

Authors:
Lydie du Bousquet
Affiliations:
-
Venue:
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Year:
1999

Citing 10
Cited 2

Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
LUSTRE: a declarative language for real-time programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
From a synchronous declarative language to a temporal logic dealing with multiform time

Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Specifying, programming and verifying real-time systems using a synchronous declarative language

Proceedings of the international workshop on Automatic verification methods for finite state systems
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE

IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Lutess: a specification-driven testing environment for synchronous software

Proceedings of the 21st international conference on Software engineering
Software Engineering Economics

Software Engineering Economics
Art of Software Testing

Art of Software Testing
Extending Telecommunications Systems: The Feature-Interaction Problem

Computer
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software

Proceedings of the 7th International Conference on Computer Aided Verification

Proof process evaluation with mutation analysis

TAP'10 Proceedings of the 4th international conference on Tests and proofs
Automatic detection of feature interactions using the Java modeling language: an experience report

Proceedings of the 15th International Software Product Line Conference, Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an experiment in feature interaction detection. We studied the 12 features defined for the first feature interaction contest held in association with the 5th international Feature Interaction Workshop. We used a synchronous approach for modeling features, and both, a model-checker and a test generator for revealing interactions. The first part of the paper describes the feature modeling. The second part deals with the feature interaction detection carried out with a testing tool, and the last part addresses the use of a model-checker for the detection.