Formal Aspects of Computing

, Volume 18, Issue 1, pp 84–101 | Cite as

Constructing checking sequences for distributed testing

  • Hasan Ural
  • Craig Williams


The objective of testing is to determine whether an implementation under test conforms to its specification. In distributed test architectures involving multiple remote testers, this objective can be complicated by the fact that testers may encounter coordination problems relating to controllability (synchronization) and observability during the application of tests. Based on a finite state machine (FSM) specification of the externally observable behaviour of a distributed system and a distinguishing sequence, this paper proposes a method for constructing a checking sequence where there is no potential controllability or observability problems, and where the use of external coordination message exchanges among testers is minimized. The proposed method does not assume a reliable reset feature in the implementations of the given FSM to be tested by the resulting checking sequence.


Distributed testing Distributed test architectures Controllability and observability problems Test coordination Finite state machine-based testing Checking sequence 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 2006

Authors and Affiliations

  1. 1.School of Information Technology and EngineeringUniversity of OttawaOttawaCanada

Personalised recommendations