Automatic Generation of Conformance Tests from Message Sequence Charts

  • Paul Baker
  • Paul Bristow
  • Clive Jervis
  • David King
  • Bill Mitchell
Conference paper
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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 zbMATHGoogle Scholar
  2. 2.
    AT&T Labs-Research. DOT on-line reference pages. Information is available from
  3. 3.
    B-novative. daVinci graph visualisation tool. Information is available from
  4. 4.
    P. Baker, C. Jervis, and D. King. An optimised algorithm for test script generation. Patent GB18137.0, 2000.Google Scholar
  5. 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. 6.
    ETSI. Terrestrial Trunked Radio (TETRA) standard. European Telecommunications Standards Institute (ETSI). Available from
  7. 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. 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. 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. 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. 11.
    ITU-T. Message Sequence Charts (MSC), ITU-T Recommendation Z.120. International Telecommunications Union — Telecommunications Standards Sector (ITU-T), 2001. Available from
  12. 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. 13.
    Motorola, Inc. Dimetra. Information is available from cgiss/emea/tetra/home.html.
  14. 14.
    Telelogic AB. Tau 4.3 Reference Manual. Sweden. Available from
  15. 15.
    Teradyne Inc. TestMaster Reference Manual, 2000. Available from

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Paul Baker
    • 1
  • Paul Bristow
    • 1
  • Clive Jervis
    • 1
  • David King
    • 1
  • Bill Mitchell
    • 1
  1. 1.Systems and Software Engineering Research Lab Motorola Labs(UK)

Personalised recommendations