Compositional testing of communication systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3964 LNCS, Issue , 2006, Pages 227-244

  Gotzhein, Reinhard ^a   Khendek, Ferhat ^b  

^a University of Koblenz Landau   (Germany)

^b Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPOSITION; COMPUTER SCIENCE; DATA PROCESSING; FAULT TOLERANT COMPUTER SYSTEMS; COMPUTERS;

COMPONENT-BASED COMMUNICATION SYSTEMS; COMPOSITION FAULTS; POTENTIAL STATE EXPLOSION; COMPONENT BASED; COMPONENT STATE; COMPOSABILITY; GLOBAL STATE; STATE EXPLOSION; TEST EFFORTS; TEST METHOD; TRANSFER FAULTS;

COMMUNICATION SYSTEMS; TESTING;

EID: 33745897328     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11754008_15     Document Type: Conference Paper

References (21)

1. R. Castanet, O, Kone: Deriving Coordinated Testers for Interoperability, Protocol Test Systems, Volume VI C-19, Pau, France, 1994
2. R. Castanet and O. Kone: Test Generation for Interworking Systems, Computer Communications, Elsevier, Vol. 23, 2000, pp. 642 652.
3. T. S. Chow: Testing Software Design Modeled by Finite-State Machines, IEEE Transactions on Software Engineering, Vol. 4, No. 3, 1978, pp. 178-187
4. A. Desmoulin, C. Viho: Quiescence Management Improves Interoperability Testing, Proceedings of TestCom 2005, LNCS 3502, Springer, pp. 365-379
5. A. Desmoulin, C. Viho: Formalizing interoperability testing: Quiescence management and test generation, Proceedings of FORTE'2005, LNCS 3731, Springer, pp. 533-537
6. A. En-Nouaary, R. Dssouli, F. Khendek: Timed Wp: Testing Real-Time Systems, IEEE Transactions on Software Engineering, Vol. 28, No. 11, November 2002, pp. 1023-1038
7. S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou, A. Ghedamsi: Test Selection Based on Finite State Models, IEEE ToSE, Vol. 17, No. 6, June 1991, pp. 591-603
8. R. Gotzhein, F. Khendek, P. Schaible: Micro Protocol Design: The SNMP Case Study, SDL and MSC Workshop (SAM'2002), LNCS 2599, Springer, 2002
9. D. Hogrefe: OSI Formal Specification Case Study: The InRes Protocol and Service, revised, Report No. IAM-91-012, Update May 1992, University of Berne, May 1992
10. ITU-T Recommendation Z.100 (11/99) - Specification and Description Language (SDL), International Telecommunication Union (ITU), 1999
11. Z. Kohavi: Switching and Finite Automata Theory, McGraw Hill, USA, 1978
12. G. Luo, G. v. Bochmann, A. Petrenko: Test Selection Based on Communicating Nondeter-ministic Finite-State Machines Using a Generalized Wp-Method, IEEE Transactions on Software Engineering, Vol. 20, No. 2, 1994, pp. 149-162
13. A. Petrenko, G. v. Bochmann, M. Yao: On Fault Coverage of Tests for Finite State Specifications, Computer Networks and ISDN Systems, Vol. 29, 1996, pp. 81-106
14. A. Petrenko, N. Yevtushenko, G. v. Bochmann, R. Dssouli: Testing in Context: Framework and Test Derivation, Computer Communications, Elsevier, Vol. 19, 1996, pp. 12361249
15. A. Petrenko, N. Yevtushenko, G. v. Bochmann: Fault Models for Testing in Context, Proceedings of FORTE'96, pp. 163-178
16. B. Sarikaya, G. v. Bochmann: Some Experience with Test Sequence Generation for Proto-cols, Proceedings of the 2nd International Workshop on Protocol Specification, Testing, and Verification, North Holland, 1982, pp. 555-567
17. J. Springintveld, F. W. Vaandrager, P. R. D'Argenio: Testing timed automata, Theoretical Computer Science, Vol. 254 (1-2), 2001, pp. 225-257
18. M. Ü. Uyar, Y. Wang, S. S. Batth, A. Wise, M. A. Fecko: Timing Fault Models for Systems with Multiple Timers, Proceedings of TestCom 2005, LNCS 3502, Springer, 192-208
19. M. van der Bijl, A. Rensink, J. Tretmans: Compositional Testing with ioco, Proceedings of FATES 2003, LNCS 2931, 2003
20. S. T. Vuong, W. W. L. Chan, M. R. Ito: The UIOv-Method for Protocol Test Sequence Generation, 2nd International Workshop on Protocol Test Systems, Berlin, Germany, 1989
21. E. J. Weyuker: Testing Component Based Software: A Cautionary Tale, IEEE Software, September/October 1998, pp.54-59