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 Work- shop. 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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
A. Aho, S. Gallagher, N. Griffeth, C. Schell, and D. Swayne. Scf3TMsculptor with chisel: Requirements engineering for communications services. In Feature Interactions in Telecommunications Systems V, pages 45–63. IOS Press, 1998.
A. Benveniste and al. Synchronous technology for real-time systems. In The 1994 Real-Time Conferences, pages 104–122, Teknea, 1994.
B.W. Boehm. Software Engineering Economics. Prentice-Hall, 1981.
P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. LUSTRE, a declarative language for programming synchronous systems. In 14th Symposium on Principles of Programming Languages (POPL 87), Munich, pages 178–188. ACM, 1987.
P. Combes and S. Pickin. Formalization of a user view of network and services for feature interaction detection. In Feature Interactions in Telecommunications Systems, pages 120–135. IOS Press, 1994.
L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Incremental feature validation: a synchronous point of view. In Feature Interactions in Telecommunications Systems V, pages 262–275. IOS Press, 1998.
L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering, Los Angeles, USA, May 1999. ACM.
L. du Bousquet and N. Zuanon. Feature interaction detection contest: Lutess testing tool. technical report PFL, IMAG-LSR, Grenoble, France, 1998.
N. D. Griffeth and Y.-J. Lin. Extending telecommunication systems: The feature-interaction problem. In IEEE Computer, pages 14–18, August 1993.
N.D. Griffeth, R. Blumenthal, J.-C. Gregoire, and T. Otha. Feature interaction detection contest. In K. Kimbler and L.G. Bouma, editors, Feature Interactions in Telecommunications Systems V, pages 327–359. IOS Press, 1998.
N. Halbwachs, F. Lagnier, and C. Ratel. Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Programming Language LUS-TRE. IEEE Transactions on Software Engineering, pages 785–793, September 1992.
N. Halbwachs, D. Pilaud, F. Ouabdesselam, and A-C. Glory. Specifying, Programming and Verifying Real-Time Systems, using a synchronous declarative language. In Workshop on automatic verification methods for finite state systems, LNCS 407, Grenoble, France, 1989. Springer Verlag.
L.J. Jagadeesan, C. Puchol, and J.E. Von Olnhausen. Safety Property Verification of Esterel Programs and Applications to Telecommunications Software. In 7 th Conference on Computer-Aided Verification, 1995.
G. Murakami and R. Sethi. Terminal call processing in Esterel. In Proc. IFIP 92 World Computer Congress, Madrid, Spain, 1992.
G. Myers. The Art Of Software Testing. Wiley-Interscience, 1979.
F. Ouabdesselam and I. Parissis. Testing Synchronous Critical Software. In 5 th International Symposium on Software Reliability Engineering, Monterey, USA, 1994.
D. Pilaud and N. Halbwachs. From a synchronous declarative language to a temporal logic dealing with multiform time. In Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Warwick, 1988. Springer Verlag.
A. Pnueli. Application of temporal logic to the specification and verification of reactive systems: a survey of current trends. Current Trends in Concurrency, LNCS, Springer-Verlag, 224:510–584, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
du Bousquet, L. (1999). Feature Interaction Detection Using Testing and Model-Checking Experience Report. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48119-2_35
Download citation
DOI: https://doi.org/10.1007/3-540-48119-2_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66587-8
Online ISBN: 978-3-540-48119-5
eBook Packages: Springer Book Archive