Test Case Generation for Concurrent Systems Using Event Structures

  • Konstantinos Athanasiou
  • Hernán Ponce-de-León
  • Stefan Schwoon
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9154)


This paper deals with the test-case generation problem for concurrent systems that are specified by true-concurrency models such as Petri nets. We show that using true-concurrency models reduces both the size and the number of test cases needed for achieving certain coverage criteria. We present a test-case generation algorithm based on Petri net unfoldings and a SAT encoding for solving controllability problems in test cases. Finally, we evaluate our algorithm against traditional test-case generation methods under interleaving semantics.


Event Structure Test Suite Label Transition System Coverage Criterion System Under Test 
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.
    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
  2. 2.
    Heerink, L., Tretmans, J.: Refusal testing for classes of transition systems with inputs and outputs. In: Proc. FORTE. IFIP, vol. 107, pp. 23–38 (1997)Google Scholar
  3. 3.
    Jéron, T.: Symbolic model-based test selection. Electronic Notes in Theoretical Computer Science 240, 167–184 (2009)CrossRefGoogle Scholar
  4. 4.
    Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Formal Methods in System Design 34(3), 238–304 (2009)CrossRefGoogle Scholar
  5. 5.
    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) CrossRefGoogle Scholar
  6. 6.
    Jard, C., Jéron, T.: TGV: theory, principles and algorithms. International Journal on Software Tools for Technology Transfer 7(4), 297–315 (2005)CrossRefGoogle Scholar
  7. 7.
    Hennessy, M.: Algebraic theory of processes. MIT Press series in the foundations of computing. MIT Press (1988)Google Scholar
  8. 8.
    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) CrossRefGoogle Scholar
  9. 9.
    Schneider, S.: Concurrent and Real Time Systems: The CSP Approach, 1st edn. John Wiley & Sons Inc., New York (1999) Google Scholar
  10. 10.
    Esparza, J., Römer, S., Vogler, W.: An improvement of McMillan’s unfolding algorithm. Formal Methods in System Design 20(3), 285–310 (2002)CrossRefGoogle Scholar
  11. 11.
    Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - A survey. Proceedings of the IEEE 84, 1090–1123 (1996)CrossRefGoogle Scholar
  12. 12.
    Jourdan, G., von Bochmann, G.: On testing 1-safe petri nets. In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, July 29–31, 2009, Tianjin, China, pp. 275–281 (2009)Google Scholar
  13. 13.
    von Bochmann, G., Jourdan, G.: Testing k-safe petri nets. In: Testing of Softwareand Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, November 2–4, Eindhoven, The Netherlands, pp. 33–48 (2009)Google Scholar
  14. 14.
    Jard, C.: Synthesis of distributed testers from true-concurrency models of reactive systems. Information & Software Technology 45(12), 805–814 (2003)CrossRefGoogle Scholar
  15. 15.
    Ulrich, A., König, H.: Specification-based testing of concurrent systems. In: Proc. FORTE. IFIP Conference Proceedings, vol. 107, pp. 7–22 (1997)Google Scholar
  16. 16.
    Ponce de León, H., Haar, S., Longuet, D.: Model-based testing for concurrent systems with labeled event structures. STVR 24(7), 558–590 (2014)Google Scholar
  17. 17.
    Henniger, O.: On test case generation from asynchronously communicating state machines. In: International Workshop on Testing Communicating Systems. IFIP Conference Proceedings, pp. 255–271. Springer (1997)Google Scholar
  18. 18.
    Kähkönen, K., Saarikivi, O., Heljanko, K.: Using unfoldings in automated testing of multithreaded programs. In: IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, September 3–7, Essen, Germany, pp. 150–159 (2012)Google Scholar
  19. 19.
    Schwoon, S.: The MOLE unfolding tool.
  20. 20.
    Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theoretical Computer Science 13, 85–108 (1981)MathSciNetCrossRefGoogle Scholar
  21. 21.
    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) CrossRefGoogle Scholar
  22. 22.
    Jéron, T., Morel, P.: Test generation derived from model-checking. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 108–121. Springer, Heidelberg (1999) CrossRefGoogle Scholar
  23. 23.
    Ponce-de-León, H., Haar, S., Longuet, D.: Distributed testing of concurrent systems: vector clocks to the rescue. In: Ciobanu, G., Méry, D. (eds.) ICTAC 2014. LNCS, vol. 8687, pp. 369–387. Springer, Heidelberg (2014) Google Scholar
  24. 24.
    Belinfante, A.: JTorX: a tool for on-line model-driven test derivation and execution. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 266–270. Springer, Heidelberg (2010) CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Konstantinos Athanasiou
    • 1
  • Hernán Ponce-de-León
    • 2
  • Stefan Schwoon
    • 3
  1. 1.College of Computer and Information ScienceNortheastern UniversityBostonUSA
  2. 2.Helsinki Institute for Information Technology HIIT and Department of Computer Science and Engineering, School of ScienceAalto UniversityEspooFinland
  3. 3.LSV (École Normale Supérieure de Cachan and CNRS)CachanFrance

Personalised recommendations