Automatic generation of conformance tests from message sequence charts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2599, Issue , 2003, Pages 170-198

  Baker, Paul ^a   Bristow, Paul ^a   Jervis, Clive ^a   King, David ^a   Mitchell, Bill ^a  

^a MOTOROLA   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH LEVEL LANGUAGES; MESSAGE PASSING; SPECIFICATIONS;

AUTOMATIC GENERATION; AUTONOMOUS PROCESS; DYNAMIC BEHAVIOURS; LANGUAGE FEATURES; MESSAGE SEQUENCE CHARTS; PROTOCOL DATA UNITS; QUALITY IMPROVEMENT; REQUIREMENTS SPECIFICATIONS;

FLOWCHARTING;

EID: 23944508938     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36573-7_12     Document Type: Article

References (15)

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 http://cm.bell-labs.com/cm/cs/what/ubet/.
2. ∼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.
5. P. Baker, C. Jervis, and W. P. R. Mitchell. Method of generating coordinating messages for distributed test scripts. Patent GB18138.8, 2000.
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. Bonder, editor, Proceedings of Applied Telecommunication Symposium (ATS), 2001.
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/.