Rapid generation of functional tests using MSCs, SDL and TTCN

Authors:
R.L Probert;H Ural;A.W Williams
Affiliations:
Department of Computer Science, School of Information Technology and Engineering, University of Ottawa, 150 Louis Pasteur Priv., Ottawa, ON, Canada, KIN 6N5;Department of Computer Science, School of Information Technology and Engineering, University of Ottawa, 150 Louis Pasteur Priv., Ottawa, ON, Canada, KIN 6N5;Department of Computer Science, School of Information Technology and Engineering, University of Ottawa, 150 Louis Pasteur Priv., Ottawa, ON, Canada, KIN 6N5
Venue:
Computer Communications
Year:
2001

Citing 7
Cited 6

Protocol validation: principles and applications

Computer Networks and ISDN Systems - Special issue on protocol specification, testing and verification
How could research on testing of communicating systems become more industrially relevant?

Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
A rigorous and practical approach to service testing

Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Assessment of automatic generation methods of conformance test suites in an industrial context

Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol

IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Autolink - Putting SDL-Based Test Generation Into Practice

IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Programming Service Tests with TTCN

IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems

QoS and network resources management for communication in distributed manufacturing processes

Computers in Industry
Graphic visualization and animation of LOTOS execution traces

Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Generating test sequences from a set of MSCs

Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
An approach for end-to-end QoS and network resources management

Computer Standards & Interfaces
Load balancing approach for wireless IEEE 802.11 qos enhancement

PWC'06 Proceedings of the 11th IFIP TC6 international conference on Personal Wireless Communications
Modeling, verifying and testing mobility protocol from SDL language

SDL'05 Proceedings of the 12th international conference on Model Driven

Quantified Score

Hi-index	0.24

Visualization

Abstract

This paper reports the results of a study undertaken to determine the suitability of CASE tools and formal methods for systematic, rapid generation of functional test cases. In particular, the study involves the use of Message Sequence Charts (MSCs) [International Telecommunications Union (ITU-T), Recommendation Z.120: Message Sequence Charts, revised 1996], Specification and Description Language (SDL) [International Telecommunications Union (ITU-T), Recommendation Z.100: Specification and Description Language, revised 1996] and Tree and Tabular Combined Notation (TTCN) [International Standards Organization (ISO), OSI Conformance Testing Methodology and Framework-Part 3: The Tree and Tabular Combined Notation, International Standard 9646-3, 1992] and the use of the Telelogic Tau tool set [Telelogic Tau tool set, version 3.3, Telelogic AB, Malmo Sweden] which supports all three of these languages.