Skip to main content
SpringerLink
Log in

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue

  • Conference paper
Theoretical Aspects of Computing – ICTAC 2014 (ICTAC 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8687))

Included in the following conference series:

Abstract

The ioco relation has become a standard in model-based conformance testing. The co-ioco conformance relation is an extension of this relation to concurrent systems specified with true-concurrency models. This relation assumes a global control and observation of the system under test, which is not usually realistic in the case of physically distributed systems. Such systems can be partially observed at each of their points of control and observation by the sequences of inputs and outputs exchanged with their environment. Unfortunately, in general, global observation cannot be reconstructed from local ones, so global conformance cannot be decided with local tests. We propose to append time stamps to the observable actions of the system under test in order to regain global conformance from local testing.

This work was funded by the DIGITEO / DIM-LSC project TECSTES, convention DIGITEO Number 2011-052D - TECSTES.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools 17(3), 103–120 (1996)

    MATH  Google Scholar 

  2. Heerink, L., Tretmans, J.: Refusal testing for classes of transition systems with inputs and outputs. In: FORTE. IFIP Conference Proceedings, vol. 107, pp. 23–38. Chapman & Hall (1997)

    Google Scholar 

  3. Lestiennes, G., Gaudel, M.C.: Test de systèmes réactifs non réceptifs. Journal Européen des Systèmes Automatisés 39(1-2-3), 255–270 (2005)

    Article  Google Scholar 

  4. Faivre, A., Gaston, C., Le Gall, P., Touil, A.: Test purpose concretization through symbolic action refinement. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom/FATES 2008. LNCS, vol. 5047, pp. 184–199. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  5. Jéron, T.: Symbolic model-based test selection. ENTCS 240, 167–184 (2009)

    Google Scholar 

  6. Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Formal Methods in System Design 34(3), 238–304 (2009)

    Article  MATH  Google Scholar 

  7. Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 77–117. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  8. Hierons, R.M., Merayo, M.G., Núñez, M.: Implementation relations for the distributed test architecture. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom/FATES 2008. LNCS, vol. 5047, pp. 200–215. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  9. Hennessy, M.: Algebraic Theory of Processes. MIT Press (1988)

    Google Scholar 

  10. Peleska, J., Siegel, M.: From testing theory to test driver implementation. In: Gaudel, M.-C., Wing, J.M. (eds.) FME 1996. LNCS, vol. 1051, pp. 538–556. Springer, Heidelberg (1996)

    Google Scholar 

  11. Schneider, S.: Concurrent and Real Time Systems: The CSP Approach, 1st edn. John Wiley & Sons, Inc., New York (1999)

    Google Scholar 

  12. McMillan, K.L.: A technique of state space search based on unfolding. Formal Methods in System Design 6(1), 45–65 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  13. Esparza, J., Römer, S., Vogler, W.: An improvement of McMillan’s unfolding algorithm. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 87–106. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  14. Jard, C.: Synthesis of distributed testers from true-concurrency models of reactive systems. Information & Software Technology 45(12), 805–814 (2003)

    Article  Google Scholar 

  15. Ulrich, A., König, H.: Specification-based testing of concurrent systems. In: FORTE. IFIP Conf. Proc., vol. 107, pp. 7–22. Chapman & Hall (1998)

    Google Scholar 

  16. Ponce de León, H., Haar, S., Longuet, D.: Conformance relations for labeled event structures. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol. 7305, pp. 83–98. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  17. Ponce de León, H., Haar, S., Longuet, D.: Unfolding-based test selection for concurrent conformance. In: Yenigün, H., Yilmaz, C., Ulrich, A. (eds.) ICTSS 2013. LNCS, vol. 8254, pp. 98–113. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  18. Ponce de León, H., Haar, S., Longuet, D.: Model based testing for concurrent systems with labeled event structures (2012), http://hal.inria.fr/hal-00796006

  19. Bhateja, P., Gastin, P., Mukund, M., Kumar, K.N.: Local testing of message sequence charts is difficult. In: Csuhaj-Varjú, E., Ésik, Z. (eds.) FCT 2007. LNCS, vol. 4639, pp. 76–87. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  20. Longuet, D.: Global and local testing from message sequence charts. In: SAC. Software Verification and Testing track, pp. 1332–1338. ACM (2012)

    Google Scholar 

  21. Jard, C., Jéron, T., Kahlouche, H., Viho, C.: Towards automatic distribution of testers for distributed conformance testing. In: FORTE. IFIP Conference Proceedings, vol. 135, pp. 353–368. Kluwer (1998)

    Google Scholar 

  22. Bhateja, P., Mukund, M.: Tagging make local testing of message-passing systems feasible. In: SEFM, pp. 171–180. IEEE Computer Society (2008)

    Google Scholar 

  23. Hierons, R.M., Merayo, M.G., Núñez, M.: Using time to add order to distributed testing. In: Giannakopoulou, D., Méry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 232–246. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  24. Mattern, F.: Virtual time and global states of distributed systems. In: Parallel and Distributed Algorithms, pp. 215–226. North-Holland (1989)

    Google Scholar 

  25. Fidge, C.J.: Timestamps in Message-Passing Systems that Preserve the Partial Ordering. In: 11th Australian Computer Science Conference, University of Queensland, Australia, pp. 55–66 (1988)

    Google Scholar 

  26. Segala, R.: Quiescence, fairness, testing, and the notion of implementation. Information and Computation 138(2), 194–210 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  27. Winskel, G.: Petri nets, morphisms and compositionality. In: Rozenberg, G. (ed.) Applications and Theory in Petri Nets. LNCS, vol. 222, pp. 453–477. Springer, Heidelbeg (1985)

    Google Scholar 

  28. van Glabbeek, R., Goltz, U., Schicke-Uffmann, J.-W.: On distributability of Petri nets - (extended abstract). In: Birkedal, L. (ed.) FOSSACS 2012. LNCS, vol. 7213, pp. 331–345. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  29. Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theoretical Computer Science 13, 85–108 (1981)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INRIA and LSV, École Normale Supérieure de Cachan and CNRS, France

    Hernán Ponce-de-León & Stefan Haar

  2. Univ Paris-Sud, LRI UMR8623, Orsay, F-91405, France

    Delphine Longuet

Authors
  1. Hernán Ponce-de-León
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefan Haar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Delphine Longuet
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, Romanian Academy, Blvd. King Carol I no.8, 700505, Iaşi, Romania

    Gabriel Ciobanu

  2. LORIA, Université de Lorraine, Campus Scientifique, BP 239, 54506, Vandœvre-lès-Nancy, France

    Dominique Méry

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Ponce-de-León, H., Haar, S., Longuet, D. (2014). Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. In: Ciobanu, G., Méry, D. (eds) Theoretical Aspects of Computing – ICTAC 2014. ICTAC 2014. Lecture Notes in Computer Science, vol 8687. Springer, Cham. https://doi.org/10.1007/978-3-319-10882-7_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-10882-7_22

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-10881-0

  • Online ISBN: 978-3-319-10882-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation