Application of embedded testing methods to service validation

Proceedings - 2nd International Conference on Formal Engineering Methods, ICFEM 1998

Volumn 1998-December, Issue , 1998, Pages 212-221

  Lima, Luiz Paula ^a   Cavalli, Ana R ^a  

^a INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT NETWORKS; REUSABILITY; SERVICE LIFE; TESTING;

CLASSICAL-TESTING; CONFORMANCE TESTING; FEATURE INTERACTIONS; MODULAR ARCHITECTURES; ORIGINATING CALLS; SERVICE VALIDATION; TELECOMMUNICATIONS SERVICES; TELEPHONE SERVICES;

INTEGRATION TESTING;

EID: 84962717132     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICFEM.1998.730585     Document Type: Conference Paper

References (16)

1. SCORE Methods and Tools, "The SCORE Approach to Formal Methods in FI Detection", Report on Methods and Tools for Service Creation (Second Version Volume I: Service Interaction Analysis)-R2017/SCO/WP2/DS/P/028/b2.
2. R. Anido, A. R. Cavalli, T. Macavei, L. P. Lima, M. Clatin, M. Phalippou, "Testing a real protocol with the aid of verification techniques", XXII SEMISH, Brazil, Aug. 1996, pp. 237-248.
3. A. R. Cavalli, B. Chin, K. Chon, "Testing Methods for SDL Systems", Computer Networks and ISDN Systems 28 (1996), pp. 1669-1683.
4. ISO. Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework, International Standard IS-9646. ISO, 1991.
5. S. Trigila and WP1 members, "Initial Description of Service and Requirements and OSA Service Perspective", Technical Report R2049/FUB/SAR/DS/P/003/b1, CASSIOPEIA November 1992.
6. CCITT Study Group XI. "Introduction to Intelligent Network Capability Set-1", Technical Report Q.1211, CCITT, March 1992.
7. Vermeer, G. et al. "A Framework for Testing Telecommunications Services", Proceedings of IWPTS'95, Sept. 95, pp. 129-140.
8. "Advanced Service Testing of Real Applications"-ACTS Programme Proposal-March 15, 1995.
9. Brinksma, E. "A Theory for the Derivation of Tests", 8th International Symposium on Protocol Specification, Testing and Verification-June 7-10, 1988.
10. L. P. Lima Jr. and A. R. Cavalli, "A Pragmatic Approach to Generating Test Sequences for Embedded Systems", Proceedings of IWTCS'97, Cheju Island, Sept. 8-10, 1997.
11. B. Algayres, Y. Lejeune and F. Hugonnet, "GOAL: Observing SDL Behaviours with GEODE", Proceedings of the Seventh SDL Forum, Oslo, Norway, 26-29 Sept. 1995-pp. 223-230.
12. J-C Fernandez, C. Jard, T. Jéron, G. Viho, "Using on-the-fly verification techniques for the generation of test suites", Summer School MOVEP'96, Nantes, France, 18-21 Jun. 1996.
13. CCITT, Specification and Description Language, CCITT Z.100, International Consultative Committee on Telegraphy and Telephony, Geneva, 1992.
14. SCORE, Report on Methods and Tools for Service Creation, Service Interaction Analysis, Deliverable D206-Vol. 1, R2017/SCO/WP2/DS/P/031/b1 Race project 2017, December 1995.
15. L. P. Lima Jr. and A. R. Cavalli, "Test execution of telecommunications services using CORBA" Proceedings FMOODS'97, Canterbury, United Kingdom, 21st-23rd July 1997.
16. Bell Atlantic, "The Intelligent Network Tutorial", http://www.webproforum.com/bell-atlantic/.