Conditions for Resolving Observability Problems in Distributed Testing

  • Jessica Chen
  • Robert M. Hierons
  • Hasan Ural
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3235)


Controllability and observability problems may manifest themselves during the application of a test or checking sequence in a test architecture where there are multiple remote testers. These problems often require the use of external coordination message exchanges among testers during testing. It is desired to construct a test or checking sequence from the specification of the system under test such that it will be free from these problems without requiring the use of external coordination messages. This paper investigates conditions that allow us to construct such a test or checking sequence. For specifications satisfying these conditions, procedures for constructing subsequences that eliminate the need for using external coordination messages are given.


Input Sequence System Under Test Outgoing Transition Check Sequence Observability Problem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Boyd, S., Ural, H.: The synchronization problem in protocol testing and its complexity. Information Processing Letters 40, 131–136 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Information and Software Technology 41, 767–780 (1999)CrossRefGoogle Scholar
  3. 3.
    Chen, W., Ural, H.: Synchronizable checking sequences based on multiple UIO sequences. IEEE/ACM Transactions on Networking 3, 152–157 (1995)CrossRefGoogle Scholar
  4. 4.
    Gill, A.: Introduction to the Theory of Finite-State Machines. McGraw- Hill, New York (1962)zbMATHGoogle Scholar
  5. 5.
    Guyot, S., Ural, H.: Synchronizable checking sequences based on UIO sequences. In: Proc. of IFIP IWPTS 1995, Evry, France, September 1995, pp. 395–407 (1995)Google Scholar
  6. 6.
    Hennie, F.: Fault detecting experiments for sequential circuits. In: Proc. of Fifth Ann. Symp. Switching Circuit Theory and Logical Design, Princeton, N. J, pp. 95–110 (1964)Google Scholar
  7. 7.
    Hierons, R.M.: Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Information and Software Technology 43(9), 551–560 (2001)CrossRefGoogle Scholar
  8. 8.
    Hierons, R.M., Ural, H.: UIO sequence based checking sequences for distributed test architectures. Information and Software Technology 45(12), 793–803 (2003)CrossRefGoogle Scholar
  9. 9.
    Luo, G., Dssouli, R., von Bochmann, G.: Generating synchronizable test sequences based on finite state machine with distributed ports. In: The 6th IFIP Workshop on Protocol Test Systems, pp. 139–153. Elsevier, North-Holland, Amsterdam (1993)Google Scholar
  10. 10.
    Luo, G., Dssouli, R., von Bochmann, G., Venkataram, P., Ghedamsi, A.: Test generation with respect to distributed interfaces. Computer Standards and Interfaces 16, 119–132 (1994)CrossRefGoogle Scholar
  11. 11.
    Sabnani, K., Dahbura, A.: A protocol test generation procedure. Computer Networks 15, 285–297 (1988)Google Scholar
  12. 12.
    Sarikaya, B., von Bochmann, G.: Synchronization and specification issues in protocol testing. IEEE Transactions on Communications 32, 389–395 (1984)CrossRefGoogle Scholar
  13. 13.
    Tai, K., Young, Y.: Synchronizable test sequences of finite state machines. Computer Networks 13, 1111–1134 (1998)Google Scholar
  14. 14.
    Ural, H., Wang, Z.: Synchronizable test sequence generation using UIO sequences. Computer Communications 16, 653–661 (1993)CrossRefGoogle Scholar
  15. 15.
    Whittier, D.: Solutions to controllability and observability problems in distributed testing. Master’s thesis, University of Ottawa, Canada (2001)Google Scholar
  16. 16.
    Young, Y., Tai, K.: Observation inaccuracy in conformance testing with multiple testers. In: Proc. of IEEE WASET, pp. 80–85 (1998)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2004

Authors and Affiliations

  • Jessica Chen
    • 1
  • Robert M. Hierons
    • 2
  • Hasan Ural
    • 3
  1. 1.School of Computer ScienceUniversity of WindsorWindsorCanada
  2. 2.Department of Information Systems and ComputingBrunel UniversityUxbridgeUnited Kingdom
  3. 3.School of Information Technology and EngineeringUniversity of OttawaOttawaCanada

Personalised recommendations