Telephony feature validation against eventuality properties and interaction detection based on a statistical analysis of the time to service

Feature Interactions in Telecommunications and Software Systems VIII

Volumn , Issue , 2005, Pages 78-95

  Du Bousquet, Lydie ^a   Gaudoin, Olivier ^b  

^a LSR Laboratory   (France)

^b IMAG   (France)

Author keywords

Eventuality properties; Feature validation; Interaction detection; Test

Indexed keywords

EVENTUALITY PROPERTIES; FEATURE VALIDATION; INTERACTION DETECTION;

COMPUTER SOFTWARE; TESTING;

STATISTICAL METHODS;

EID: 84881599437     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. R.B. D'Agostino and M.A. Stephens. Goodness-of-Fit Techniques. Marcel Dekker, 1986.
2. M. Calder and E. Magill, editors. Feature Interactions in Telecommunications Systems VI. IOS Press, 2000.
3. P. Dini, R. Boutaba and L. Logrippo editors. Feature Interactions in Telecommunications Systems IV. IOS Press, 1997.
4. L. du Bousquet. Feature interaction detection using testing and model-checking, experience report. In World Congress on Formal Methods, volume 1708 of LNCS, pages 622-641, Toulouse, France, September 1999. Springer Verlag.
5. 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. ACM Press, May 1999.
6. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Feature interaction detection using synchronous approach and testing. Computer Networks and ISDN Systems, 11 (4):419-446, 2000.
7. A. P. Felty and K. S. Namjoshi. Feature specification and automated conflict detection. In Feature Interactions in Telecommunications and Software Systems VI. IOS Press, 2000.
8. J. P. Gibson. Feature requirements models: Understanding interactions. In Feature Interactions in Telecommunications and Software Systems IV, pages 46-60. IOS Press, 1997.
9. N. Halbwachs. Synchronous programming of reactive systems, a tutorial and commented bibliography. In Tenth International Conference on Computer-Aided Verification (CAV), Vancouver (B.C.), June 1998. LNCS 1427, Springer.
10. T.P. Hettmansperger. Statistical Inference Based on Ranks. Wiley, 1984.
11. J. Kamoun and L. Logrippo. Goal-oriented feature interaction detection in the intelligent network model. In FIW, pages 172-186, 1998.
12. K. Kimbler and L.G. Bouma, editors. Feature Interactions in Telecommunications Systems V. IOS Press, 1998.
13. L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125-143, March 1977.
14. J.F. Lawless. Statistical Models and Methods for Lifetime Data, 2nd edition. Wiley, 2003.
15. G.J. McLachlan and T. Krishnan. The EM algorithm and extensions. Wiley, 1997.
16. M. Nakamura, Y. Kakuda and T. Kikuno. Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation. In Feature Interactions in Telecommunications Networks IV. June 1997.
17. M. Plath and M. Ryan. The feature construct for SMV: Semantics. In Feature Interactions in Telecommunications Networks VI. May 2000.
18. T. Yoneda, S. Kawauchi, J. Yoshida and T. Ohta. Formal Approaches for Detecting Feature Interactions, Their Experimental Results, and Application to VoIP. In Feature Interactions in Telecommunications and Software Systems VII, IOS Press. June 2003.