Skip to main content
Book cover

International Workshop on Formal Approaches to Software Testing

IFIP International Conference on Testing of Software and Communicating Systems

FATES 2009, TestCom 2009: Testing of Software and Communication Systems pp 33–48Cite as

Testing k-Safe Petri Nets

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNCCN,volume 5826)

Abstract

Petri nets have been widely studied as tool for specification, modeling and analysis of concurrent systems. However, surprisingly little research has been done for testing systems that are specified with Petri nets. When a formal model is used, variations of Finite State Machines are often used for the automated generation of test cases. In this paper, we study automated conformance testing when the formal specification is given as a k-safe Petri net. We provide a general framework to perform these tests, and give a few algorithms for test case generation based on different assumptions. We provide two inefficient, but general algorithms for k-safe Petri net conformance testing. We also provide efficient algorithms for testing k-safe free-choice Petri nets under specific fault assumptions.

Keywords

  • Conformance testing
  • fault model
  • k -safe Petri nets
  • free-choice Petri nets
  • automatic test generation

Download conference paper PDF

References

  1. Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines – a survey. Proceedings of the IEEE 84(8), 1089–1123 (1996)

    CrossRef  Google Scholar 

  2. Luo, G., Dssouli, R., Bochmann, G.v., Ventakaram, P., Ghedamsi, A.: Generating synchronizable test sequences based on finite state machines with distributed ports. In: IFIP Sixth International Workshop on Protocol Test Systems, Pau, France, September 1993, pp. 53–68 (1993)

    Google Scholar 

  3. Chen, J., Hierons, R.M., Ural, H.: Resolving observability problems in distributed test architectures. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 219–232. Springer, Heidelberg (2005)

    CrossRef  Google Scholar 

  4. von Bochmann, G., Haar, S., Jard, C., Jourdan, G.-V.: Testing Systems Specified as Partial Order Input/Output Automata. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom/FATES 2008. LNCS, vol. 5047, pp. 169–183. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  5. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)

    CrossRef  Google Scholar 

  6. van der Aalst, W., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering 16(9), 1128–1142 (2004)

    CrossRef  Google Scholar 

  7. Bhateja, P., Gastin, P., Mukund, M.: A Fresh Look at Testing for Asynchronous Communication. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol. 4218, pp. 369–383. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  8. 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)

    CrossRef  Google Scholar 

  9. Haar, S.: Law and Partial Order. Nonsequential Behaviour and Probability in Asynchronous Systems. In: Habilitation à diriger les recherches, INRIA (2008), http://www.lsv.ens-cachan.fr/~haar/HDR.pdf

  10. Zhu, H., He, X.: A methodology of testing high-level Petri nets. Information and Software Technology 44(8), 473–489 (2002)

    CrossRef  Google Scholar 

  11. Desel, J., Esparza, J.: Free choice Petri nets. Cambridge Tracts In Theoretical Computer Science 40 (1995) ISBN:0-521-46519-2

    Google Scholar 

  12. Cheng, A., Esparza, J., Palsberg, J.: Complexity results for 1-safe nets. Theoretical Computer Science 147(1-2), 117–136 (1995)

    MathSciNet  CrossRef  MATH  Google Scholar 

  13. Fujiwara, S., Bochmann, G.v., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Transactions on Software Engineering 17(6), 591–603 (1991)

    CrossRef  Google Scholar 

  14. Luo, G., Petrenko, A., Bochmann, G.v.: Selecting test sequences for partially-specified nondeterministic finite state machines. In: Proc. of the International Workshop on Protocol Test Systems (IWPTS 1994), Tokyo, Japan, November, 1994, pp. 95–110 (1994)

    Google Scholar 

  15. Tan, Q.M., Petrenko, A., Bochmann, G.v.: Checking experiments with labeled transition systems for trace equivalence. In: Proc. IFIP 10th  Intern. Workshop on Testing of Communication Systems (IWTCS 1997), Cheju Island, Korea (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Technology and Engineering (SITE), University of Ottawa, 800 King Edward Avenue, Ottawa, Ontario, Canada, K1N 6N5

    Gregor von Bochmann & Guy-Vincent Jourdan

Authors
  1. Gregor von Bochmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guy-Vincent Jourdan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universidad Complutense de Madrid, 28040, Madrid, Spain

    Manuel Núñez & Mercedes G. Merayo & 

  2. Motorola’s Corporate Software Excellence Team, Basingstoke, RG22 4PD, Hampshire, UK

    Paul Baker

Rights and permissions

Reprints and Permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

von Bochmann, G., Jourdan, GV. (2009). Testing k-Safe Petri Nets. In: Núñez, M., Baker, P., Merayo, M.G. (eds) Testing of Software and Communication Systems. FATES TestCom 2009 2009. Lecture Notes in Computer Science, vol 5826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05031-2_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-05031-2_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-05030-5

  • Online ISBN: 978-3-642-05031-2

  • eBook Packages: Computer ScienceComputer Science (R0)