Generating test sequences from a set of MSCs

Authors:
Nam Hee Lee;Sung Deok Cha
Affiliations:
Division of Computer Science and AITrc, Department of Electrical Engineering and Computer Science, KAIST, 373-1 Gusung-Dong, Yusung-Gu, Daejon, South Korea;Division of Computer Science and AITrc, Department of Electrical Engineering and Computer Science, KAIST, 373-1 Gusung-Dong, Yusung-Gu, Daejon, South Korea
Venue:
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Year:
2003

Citing 8
Cited 1

Statecharts: A visual formalism for complex systems

Science of Computer Programming
A protocol test generation procedure

Computer Networks and ISDN Systems
Construction of global finite state machine for testing task interactions written in message sequence charts

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method

IEEE Transactions on Software Engineering
An Automata Based Interpretation of Live Sequence Charts

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Autolink - Putting SDL-Based Test Generation Into Practice

IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Testing of Concurrent Programs Based on Message Sequence Charts

PDSE '99 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Rapid generation of functional tests using MSCs, SDL and TTCN

Computer Communications

Symbolic Message Sequence Charts

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an approach to generate test cases from a set of Message Sequence Charts (MSCs) by constructing a semantically equivalent finite state machine for testing reactive and embedded software. Test cases are expressed as a sequence of messages to be exchanged among various system entities. We use scenario activation conditions and state assignments to generate only the feasible states and transitions. This paper uses complex digital TV software to illustrate how test cases are automatically generated.