Using Time to Add Order to Distributed Testing

  • Robert M. Hierons
  • Mercedes G. Merayo
  • Manuel Núñez
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7436)


Many systems interact with their environment at physically distributed interfaces called ports. In testing such a system we might use a distributed approach in which there is a separate tester at each port. If the testers do not synchronise during testing then we cannot always determine the relative order of events observed at different ports and corresponding implementation relations have been developed for distributed testing. One possible method for strengthening the implementation relation is for testers to synchronise through exchanging coordination messages but this requires sufficiently fast communications channels and can increase the cost of testing. This paper explores an alternative in which each tester has a local clock and timestamps its observations. If we know nothing about how the local clocks relate then this does not help while if the local clocks agree exactly then we can reconstruct the sequence of observations made. In practice, however, we are likely to be between these extremes: the local clocks will not agree exactly but we have assumptions regarding how they can differ. This paper explores several such assumptions and derives corresponding implementation relations.


Partial Order Label Transition System Travel Agency System Under Test Observable Action 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Hierons, R.M., Bogdanov, K., Bowen, J., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A., Vilkomir, S., Woodward, M., Zedan, H.: Using formal methods to support testing. ACM Computing Surveys 41(2) (2009)Google Scholar
  2. 2.
    Grieskamp, W., Kicillof, N., Stobie, K., Braberman, V.: Model-based quality assurance of protocol documentation: tools and methodology. Software Testing, Verification and Reliability 21(1), 55–71 (2011)CrossRefGoogle Scholar
  3. 3.
    Tretmans, J.: Model Based Testing with Labelled Transition Systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 1–38. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    ISO/IEC JTC 1, J.T.C.: International Standard ISO/IEC 9646-1. Information Technology - Open Systems Interconnection - Conformance testing methodology and framework - Part 1: General concepts. ISO/IEC (1994)Google Scholar
  5. 5.
    Hierons, R.M., Merayo, M.G., Núñez, M.: Implementation relations and test generation for systems with distributed interfaces. Distributed Computing 25(1), 35–62 (2012)CrossRefGoogle Scholar
  6. 6.
    Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Information and Software Technology 41(11-12), 767–780 (1999)CrossRefGoogle Scholar
  7. 7.
    Rafiq, O., Cacciari, L.: Coordination algorithm for distributed testing. The Journal of Supercomputing 24(2), 203–211 (2003)zbMATHCrossRefGoogle Scholar
  8. 8.
    Jard, C., Jéron, T., Kahlouche, H., Viho, C.: Towards automatic distribution of testers for distributed conformance testing. In: TC6 WG6.1 Joint Int. Conf. on Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE 1998, pp. 353–368. Kluwer Academic Publishers (1998)Google Scholar
  9. 9.
    Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558–565 (1978)zbMATHCrossRefGoogle Scholar
  10. 10.
    Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: 19th Joint Int. Conf. on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE/PSTV 1999, pp. 25–40. Kluwer Academic Publishers (1999)Google Scholar
  11. 11.
    Lamport, L., Melliar-Smith, P.: Synchronizing clocks in the presence of faults. Journal of the ACM 32(1), 52–78 (1985)MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Fidge, C.: A limitation of vector timestamps for reconstructing distributed computations. Information Processing Letters 68(2), 87–91 (1998)CrossRefGoogle Scholar
  13. 13.
    Baeten, J., Middelburg, C.: Process algebra with timing. EATCS Monograph. Springer (2002)Google Scholar
  14. 14.
    Hierons, R.M., Merayo, M.G., Núñez, M.: Using time to add order to distributed testing (2012),

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Robert M. Hierons
    • 1
  • Mercedes G. Merayo
    • 2
  • Manuel Núñez
    • 2
  1. 1.Department of Information Systems and ComputingBrunel UniversityUxbridgeUnited Kingdom
  2. 2.Departamento de Sistemas Informáticos y ComputaciónUniversidad Complutense de MadridMadridSpain

Personalised recommendations