Incremental Feature Validation: a Synchronous Point of View.
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon · 1998
. In this paper, a synchronous approach is applied to specify and validate telecommunication features. A service is viewed as a reactive system and is fully described in Lustre, an executable specification language. The service properties are stated in the same language and feature validation is carried out using Lutess, a specific testing tool we have developed. A case study is provided to exemplify this approach. 1 Introduction The work reported in this paper is concerned with the use of formal description techniques for the detection of telephone feature interactions, at the design stage. Much effort has been devoted to this problem, in particular in approaches using formal techniques based on model-checking [7, 10] or theorem proving [13]. Unlike these approaches, ours relies on testing in order to validate formal feature descriptions using an executable model. The primary argument put forward in this paper is that feature validation should be conducted in an interactive way, by o...