Incremental Feature Validation: a Synchronous Point of View

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 speciication language. The service properties are stated in the same language and feature validation is carried out using Lutess, a speciic testing tool we have developed. A case study is provided to exemplify this approach.

[1]  Luigi Logrippo,et al.  Specifying features and analysing their interactions in a LOTOS environment , 1994, FIW.

[2]  Nicolas Halbwachs,et al.  From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time , 1988, FTRTFT.

[3]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[4]  Simon Pickin,et al.  Formalisation of a user view of network and services for feature interaction detection , 1994, FIW.

[5]  Lydie du Bousquet,et al.  Expressing and implementing operational profiles for reactive software validation , 1998, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257).

[6]  Nicolas Halbwachs,et al.  LUSTRE: A declarative language for programming synchronous systems* , 1987 .

[7]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[8]  G. Herman,et al.  The feature interaction problem in telecommunications systems , 1989 .

[9]  D MusaJohn.  Operational Profiles in Software-Reliability Engineering , 1993 .

[10]  Joanne M. Atlee,et al.  Towards automated detection of feature interactions , 1994, FIW.

[11]  Saburo Muroga,et al.  Binary Decision Diagrams , 2000, The VLSI Handbook.

[12]  ParissisIoannis,et al.  Specification-based testing of synchronous software , 1996 .

[13]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .