Skip to main content

Implementing MSC Tests with Quiescence Observation

  • Conference paper

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


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.


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


  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,

  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


Editor information

Editors and Affiliations

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.

Download citation

  • DOI:

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