Advertisement

An approach to testing distributed software systems

  • Andreas Ulrich
  • Samuel T. Chanson
Chapter
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)

Abstract

This paper studies the problem of testing distributed software systems consisting of concurrent units running over a network. We present an approach to derive a concurrent transition tour as a test suite from multi-module specifications described by a restricted class of CCS (calculus of communicating systems). The approach avoids the state space explosion problem by introducing a true concurrency model. A new distributed test architecture for executing the concurrent test suite is also described.

Keywords

Distributed testing formal specifications true concurrency model test suite generation distributed test architecture. 

References

  1. [Aho88]
    A.V. Aho, A.T. Dahbura, D. Lee, M. Ü. Uyar: An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours; 8th International Symposium on Protocol Specification, Testing and Verification; Atlantic City, USA; 1988.Google Scholar
  2. [Bos91]
    B. S. Bosik, M. Ü. Uyar: Finite state machine based formal methods in protocol conformance testing: from theory to implementation; Computer Networks and ISDN Systems 22 (1); 1991; pp. 7–33.Google Scholar
  3. [Cha89]
    W. Y. L. Chan, S. T. Young, M. R. Ito: On test sequence generation for protocols; 9th International Symposium on Protocol Specification, Testing and Verification; 1989.Google Scholar
  4. [Cha93]
    S. T. Chanson, J. Zhu: A Unified Approach to Protocol Test Sequence Generation; IEEE INFOCOM; San Francisco, USA; 1993; pp. 106–114.Google Scholar
  5. [Cha94]
    S. T. Chanson, J. Zhu: Automatic Protocol Test Suite Derivation; IEEE INFOCOM; Toronto, Canada; 1994; pp. 792–799.Google Scholar
  6. [Che93]
    S. C. Cheung, J. Kramer: Enhancing Compositional Reachability Analysis with Context Constraints; 1st ACM SIGSOFT Symposium on the Foundations of Software Engineering; Los Angeles, USA; 1993; pp. 115–125.Google Scholar
  7. [Coe92a]
    R. J. Coelho da Costa, J. P. Courtiat: A Causality-Based Semantics for CCS; 1st North American Process Algebra Workshop, Stony Brook, USA; 1992.Google Scholar
  8. [Coe92b]
    R. J. Coelho da Costa, J. P. Courtiat: A True Concurrency Semantics for LOTOS; 5th International Conference on Formal Description Techniques; Perros-Guirec, France; 1992.Google Scholar
  9. [Dss90]
    R. Dssouli, R. Fournier, G. v. Bochmann: Distributed Observation and FIFO Queues; 3th International Conference on Formal Description Techniques; Madrid, Spain; 1990.Google Scholar
  10. [Fid91]
    C. Fidge: Logical Time in Distributed Computing Systems; IEEE Computer, vol. 24, no. 8 (Aug. 1991); pp. 28–33.CrossRefGoogle Scholar
  11. [Fid92]
    C. J. Fidge: Process Algebra Traces Augmented with Causal Relationships; 5th International Conference on Formal Description Techniques; Perros-Guirec, France; 1992.Google Scholar
  12. [Ho194]
    G. J. Holzmann: An Improvement in Formal Verification; 7th International Conference on Formal Description Techniques; Berne, Switzerland; 1994.Google Scholar
  13. [Kim93]
    M. C. Kim, S. T. Chanson, S. T. Vuong: Concurrency model and its application to formal protocol specifications; IEEE INFOCOM; San Francisco, USA; 1993; pp. 766–773.Google Scholar
  14. [Kim94]
    M. C. Kim, S. T. Chanson: Design for Testability of Protocols based on Formal Specifications; submitted for discussion in the working group P.54/Q.10 “Formal Methods in Conformance Testing”; 1994.Google Scholar
  15. [K1o92]
    H. Kloosterman: Test derivation from non-deterministic finite state machines; 5th International Workshop on Protocol Test Systems; Montreal, Canada; 1992.Google Scholar
  16. [Lan92]
    R. Langerak: Bundle Event Structures: A Non-Interleaving Semantics for LOTOS; 5th International Conference on Formal Description Techniques; Perros-Guirec, France; 1992.Google Scholar
  17. [Lan94]
    R. Langerak: True Concurrency Models for LOTOS; Tutorial script; 7th International Conference on Formal Description Techniques; Berne, Switzerland; 1994.Google Scholar
  18. [LDB94]
    G. Luo, R. Dssouli, G. v. Bochmann, P. Venkataram, A. Ghedamsi: Test generation with respect to Distributed Interfaces; Computer Standards & Interfaces, vol. 16, no. 2 (June 1994); pp. 119–132.CrossRefGoogle Scholar
  19. [Luo94]
    G. Luo, G. v. Bochmann, A. Petrenko: Test selection based on communicating nondeterministic finite state machines using a generalized Wp-method; IEEE Transactions on Software Engineering, vol. 20, no. 2 (Feb. 1994); pp. 149–162.Google Scholar
  20. [LSK93]
    D. Lee, K. K. Sabnani, D. M. Kristol, S. Paul: Conformance Testing of Protocols Specified as Communicating FSMs; IEEE INFOCOM’93; San Francisco, USA; 1993; pp. 115–127Google Scholar
  21. [Mat89]
    F. Mattern: Virtual Time and Global States of Distributed Systems; International Workshop on Parallel and Distributed Algorithms; Gers, France; 1988.Google Scholar
  22. [Mi189]
    R. Milner: Communication and Concurrency; Prentice Hall, New York; 1989.zbMATHGoogle Scholar
  23. [Pro91]
    D. K. Probst, H. F. Li: Using Partial-order Semantics to Avoid the State Explosion Problem in Asynchronous Systems; 2nd International Conference on Computer-aided Verification; New Brunswick, USA; 1991.Google Scholar
  24. [Sid89]
    D. P. Sidhu, T. K. Leung: Formal Methods for Protocol Testing: A Detailed Study; IEEE Transactions on Software Engineering, vol. 15, no. 4 (Apr. 1989); pp. 413–426.Google Scholar
  25. [Tri92]
    P. Tripathy, K. Naik: Generation of adaptive test cases from non-deterministic finite state models; 5th International Workshop on Protocol Test Systems; Montreal, Canada; 1992.Google Scholar
  26. [Vuo93]
    S. T. Vuong, A. A. F. Loureiro, S. T. Chanson: A Framework for the Design for Testability of Communication Protocols; 6th International Workshop on Protocol Test Systems; Pau, France; 1993.Google Scholar
  27. [Wan93]
    C.J. Wang, M. T. Liu: Automatic Test Case Generation for Estelle; International Conference on Network Protocols; San Francisco, USA; 1993.Google Scholar

Copyright information

© IFIP International Federation for Information Processing 1996

Authors and Affiliations

  • Andreas Ulrich
    • 1
  • Samuel T. Chanson
    • 1
  1. 1.Department of Computer ScienceHong Kong University of Science and TechnologyClear Water Bay, KowloonHong Kong

Personalised recommendations