Automatic Generation of Conformance Tests from Message Sequence Charts
- 223 Downloads
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.
KeywordsConformance Test Interval Constraint Message Sequence Chart Test Script Atomic Reference
Unable to display preview. Download preview PDF.
- 2.AT&T Labs-Research. DOT on-line reference pages. Information is available from http://www.research.att.com/~north/graphviz/.
- 3.B-novative. daVinci graph visualisation tool. Information is available from http://www.b-novative.com/.
- 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 http://www.etsi.org/.
- 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 http://www.etsi.org/.
- 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 http://www.itm.mu-luebeck.de/.
- 9.ITU-T. Specification and Description Language (SDL), ITU-T Recommendation Z.100. International Telecommunications Union — Telecommunications Standards Sector (ITU-T), 1996. Available from http://www.itu.int.
- 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 http://www.itu.int.
- 11.ITU-T. Message Sequence Charts (MSC), ITU-T Recommendation Z.120. International Telecommunications Union — Telecommunications Standards Sector (ITU-T), 2001. Available from http://www.itu.int.
- 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 http://www.motorola.com/ cgiss/emea/tetra/home.html.
- 14.Telelogic AB. Tau 4.3 Reference Manual. Sweden. Available from http://www.telelogic.com/.
- 15.Teradyne Inc. TestMaster Reference Manual, 2000. Available from http://www.teradyne.com/.