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 49–65Cite as

Implementing MSC Tests with Quiescence Observation

  • Conference paper

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

Abstract

Given a test scenario as a Message Sequence Chart (MSC), a method for implementing an MSC test in a distributed asynchronous environment is suggested. Appropriate test coordination is achieved using coordinating messages and observed quiescence of a system under test. A formal definition and a classification of faults with respect to the test scenario are introduced. It is shown that the use of quiescence observation improves the fault detection and allows implementing sound tests for a wider class of test scenarios than before.

Keywords

  • Distributed testing
  • Message Sequence Charts
  • sound tests
  • test implementations
  • fault detection power

Download conference paper PDF

References

  1. Grabowski, J., Koch, B., Schmitt, M., Hogrefe, D.: SDL and MSC Based Test Generation for Distributed Test Architectures. In: SDL Forum 1999, pp. 389–404 (1999)

    Google Scholar 

  2. Baker, P., Bristow, P., Jervis, C., King, D., Mitchell, B.: Automatic Generation of Conformance Tests from Message Sequence Charts. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 170–198. Springer, Heidelberg (2003)

    CrossRef  Google Scholar 

  3. Mitchell, W.: Characterizing Concurrent Tests Based on Message Sequence Chart Requirements. In: Applied Telecommunication Workshop, pp. 135–140 (2001)

    Google Scholar 

  4. Holzmann, G., Peled, D., Redberg, M.: Design Tools for Requirement Engineering. Bell Labs Technical J. 2(1), 86–95 (1997)

    CrossRef  Google Scholar 

  5. OMG UML Specification, http://www.omg.org/spec/UML/2.1.2/

  6. Haugen, Ø.: Comparing UML 2.0 interactions and MSC-2000. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 69–84. Springer, Heidelberg (2004)

    Google Scholar 

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

  8. Deussen, P.H., Tobies, S.: Formal Test Purposes and the Validity of Test Cases. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol. 2529, pp. 114–129. Springer, Heidelberg (2002)

    CrossRef  Google Scholar 

  9. Pickin, S., Jézéquel, J.-M.: Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 481–500. Springer, Heidelberg (2004)

    CrossRef  Google Scholar 

  10. Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. IEEE Trans. on Soft. Eng. 29(7), 623–633 (2003)

    CrossRef  Google Scholar 

  11. Mitchell, B.: Resolving Race Conditions in Asynchronous Partial Order Scenarios. IEEE Trans. on Soft. Eng. 31(9), 767–784 (2005)

    CrossRef  Google Scholar 

  12. Pickin, S., Jard, C., Jeron, T., Jézéquel, J.-M., Le Traon, Y.: Test Synthesis from UML Models of Distributed Software. IEEE Trans. on Soft. Eng. 33(4), 252–268 (2007)

    CrossRef  MATH  Google Scholar 

  13. Uchitel, S., Brunet, G., Chechik, M.: Behaviour Model Synthesis from Properties and Scenarios. In: 29th IEEE/ACM International Conf. on Soft. Eng., pp. 34–43 (2007)

    Google Scholar 

  14. Baker, P., Bristow, P., King, D., Thomson, R., Burton, S., Bristow, P.: Detecting and Resolving Semantic Pathologies in UML Sequence Diagrams. In: ESEC/SIGSOFT FSE, pp. 50–59 (2005)

    Google Scholar 

  15. Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3), 103–120 (1996)

    MATH  Google Scholar 

  16. Cacciari, L., Rafiq, O.: Controllability and Observability in Distributed Testing. Information and Soft. Technology. 41(11-12), 767–780 (1999)

    CrossRef  Google Scholar 

  17. Lund, M.S., Stolen, K.: Deriving Tests from UML. 2.0 Sequence Diagrams with neg and assert. In: 1st International Workshop on Automation of Soft. Testing, pp. 22–28 (2006)

    Google Scholar 

  18. Boroday, S., Petrenko, A., Ulrich, A.: Test Suite Consistency Verification. In: 6th IEEE East-West Design & Test Symposium (EWDTS 2008), pp. 235–238 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre de recherche informatique de Montreal (CRIM), 550 Sherbrooke West, Suite 100, Montreal, Quebec, Canada

    Sergiy Boroday & Alexandre Petrenko

  2. Siemens AG, Corporate Technology, CT SE 1, 80200, Munich, Germany

    Andreas Ulrich

Authors
  1. Sergiy Boroday
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexandre Petrenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andreas Ulrich
    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

Boroday, S., Petrenko, A., Ulrich, A. (2009). Implementing MSC Tests with Quiescence Observation. 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_4

Download citation

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

  • 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)