Skip to main content

Automatic Generation of Conformance Tests from Message Sequence Charts

Part of the Lecture Notes in Computer Science book series (LNCS,volume 2599)


Over the past five years our group has developed a tool that automatically generates conformance test scripts from a combination of Message Sequence Charts (MSCs), specifying dynamic behaviour, and Protocol Data Units (PDUs), specifying data formats. This paper outlines how tests are derived from MSCs and PDU specifications, and summarises different test strategies. It describes the testing required to prove conformance of various MSC language features ranging from time constraints to MSC variables, in-line expressions and high-level MSCs. We cover test generation for both single process test scripting and concurrent test scripting, where a test is distributed across autonomous processes, co-ordinating through additional messaging. All of the above aspects have been implemented in our tool that is in widespread use across Motorola. Tool support has not only resulted in cycle-time benefits for test preparation, but quality improvement in the testing process, improved test coverage, and validation of requirements specification.


  • Conformance Test
  • Interval Constraint
  • Message Sequence Chart
  • Test Script
  • Atomic Reference

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.

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Learn about institutional subscriptions


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. R. Alur, G. J. Holzmann, and D. Peled. An analyser for Message Sequence Charts. Software Concepts and Tools, 17(2):70–77, 1996. Information is available from

    MATH  Google Scholar 

  2. AT&T Labs-Research. DOT on-line reference pages. Information is available from

  3. B-novative. daVinci graph visualisation tool. Information is available from

  4. P. Baker, C. Jervis, and D. King. An optimised algorithm for test script generation. Patent GB18137.0, 2000.

    Google Scholar 

  5. P. Baker, C. Jervis, and W. P. R. Mitchell. Method of generating coordinating messages for distributed test scripts. Patent GB18138.8, 2000.

    Google Scholar 

  6. ETSI. Terrestrial Trunked Radio (TETRA) standard. European Telecommunications Standards Institute (ETSI). Available from

  7. ETSI. Methods for Testing and Specification; The Testing and Control Notation version 3 (TTCN-3); Part 1: TTCN-3 Core Language. European Telecommunications Standards Institute (ETSI), 2001. Available from

  8. J. Grabowski, B. Koch, M. Schmitt, and D. Hogrefe. SDL and MSC based test generation for distributed test architectures. In R. Dssouli, G. v. Bochmann, and Y. Lahav, editors, In: SDL’99-The next Millennium. Elsevier, June 1999. Available from

  9. ITU-T. Specification and Description Language (SDL), ITU-T Recommendation Z.100. International Telecommunications Union — Telecommunications Standards Sector (ITU-T), 1996. Available from

  10. ITU-T. TTCN-2 standard, Conformance Testing Methodology and Framework-Part 3: The Tree and Tabular Combined Notation (TTCN), ITU-T Recommendation X.292. International Telecommunications Union — Telecommunications Standards Sector (ITU-T), 1997. Available from

  11. ITU-T. Message Sequence Charts (MSC), ITU-T Recommendation Z.120. International Telecommunications Union — Telecommunications Standards Sector (ITU-T), 2001. Available from

  12. W. P. R. Mitchell. Characterising concurrent tests based on Message Sequence Chart requirements. In B. Bondar, editor, Proceedings of Applied Telecommunication Symposium (ATS), 2001.

    Google Scholar 

  13. Motorola, Inc. Dimetra. Information is available from cgiss/emea/tetra/home.html.

  14. Telelogic AB. Tau 4.3 Reference Manual. Sweden. Available from

  15. Teradyne Inc. TestMaster Reference Manual, 2000. Available from

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baker, P., Bristow, P., Jervis, C., King, D., Mitchell, B. (2003). Automatic Generation of Conformance Tests from Message Sequence Charts. In: Sherratt, E. (eds) Telecommunications and beyond: The BroaderApplicability of SDL and MSC. SAM 2002. Lecture Notes in Computer Science, vol 2599. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00877-4

  • Online ISBN: 978-3-540-36573-0

  • eBook Packages: Springer Book Archive