Abstract
This paper describes a methodology for specifying and validating feature-based systems. Our solution allows the easy integration of a new feature into an existing system and to perform its validation in an incremental way. Our specification proposal is based on the synchronous approach, which proved to be well-adapted to the chosen level of abstraction.
The validation process focuses on the detection of interactions between features. The validation is based on an automated testing technique driven by behavioral patterns.
We provide in this paper a view of the methodology and the operations it requires. This approach can be applied to any system whose features can be modeled by automata and implemented in a synchronous style. We illustrate here its application to the problem of telecommunication feature interaction detection.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P.K. Au and J.M. Atlee. Evaluation of a state-based model of feature interactions. In Feature Interactions in Telecommunications Systems IV, pages 153–167. IOS Press, 1997.
A. Belinfante, J. Feenstra, R. G. de Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal test automation: a simple experiment. In 12th International Workshop on Testing of Communicating Systems, pages 179–196. Kluwer Academic Publishers, 1999.
A. Benveniste and G. Berry. The synchronous approach to reactive and realtime systems. Proceedings of the IEEE, 79(9):1270–1282, 1991.
J. Blom, R. Bol, and L. Kempe. Automatic detection of feature interactions in temporal logic. In Feature Interactions in Telecommunications Systems III, pages 1–20. IOS Press, 1995.
F. Boniol and M. Adelantado. Programming distributed reactive systems: a strong and weak synchronous coupling. In 7th International Workshop on Distributed Algorithms, pages 294–308. LNCS, september 1993.
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. Feature interaction detection using synchronous approach and testing. Computer Networks and ISDN Systems, 32(4):419–431, april 2000.
R.J. Hall. Feature combination and interaction detection via foreground/background models. In Feature Interactions in Telecommunications Systems V, pages 232–246. IOS Press, 1998.
ITU-T. Principles of intelligent network architecture. Recommandation Q.1201, 1993.
L.J. Jagadeesan, A. Porter, C. Puchol, J.C. Ramming, and L. Votta. Specification-based testing of reactive software: tools and experiments. In 19th International Conference on Software Engineering, pages 525–535. ACM, 1997.
B. Kelly, M. Crowther, J. Kling, R. Masson, and J. DeLapeyre. Service validation and testing. In Feature Interactions in Telecommunications Systems III, pages 173–184. IOS Press, 1995.
G. Murakami and R. Sethi. Terminal call processing in Esterel. In World Computer Congress, Madrid, Spain, 1992. IFIP.
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. Springer Verlag, 1988.
M. Plath and M. D. Ryan. Plug-and-play features. In Feature Interactions in Telecommunications Systems V, pages 150–164. IOS Press, 1998.
M. Plath and M. D. Ryan. Feature integration using a feature construct. Science of Computer Programming, 2001. To appear.
H. Velthuijsen. Issues of non-monotonicity in feature-interaction detection. In Feature Interactions in Telecommunications Systems III, pages 31–42. IOS Press, 1995.
N. Zuanon. Test de spécifications de services de télécommunication. Phd thesis, Université Joseph Fourier, Grenoble, France, june 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag London Limited
About this paper
Cite this paper
Zuanon, N. (2001). Modular Feature Integration and Validation in a Synchronous Context. In: Gilmore, S., Ryan, M. (eds) Language Constructs for Describing Features. Springer, London. https://doi.org/10.1007/978-1-4471-0287-8_13
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0287-8_13
Publisher Name: Springer, London
Print ISBN: 978-1-85233-392-8
Online ISBN: 978-1-4471-0287-8
eBook Packages: Springer Book Archive