Generating test sequences from a set of MSCs

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.

[1]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[2]  Alexandre Petrenko,et al.  Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method , 1994, IEEE Trans. Software Eng..

[3]  Jens Grabowski,et al.  SDL and MSC Based Test Case Generation: An Overall View of the SaMsTaG Method , 1994 .

[4]  Sjouke Mauw,et al.  Formal semantics of Message Sequence Charts , 1998 .

[5]  Robert L. Probert,et al.  Rapid generation of functional tests using MSCs, SDL and TTCN , 2001, Comput. Commun..

[6]  Byeong Man Kim,et al.  Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software , 2001 .

[7]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[8]  Krishan K. Sabnani,et al.  A Protocol Test Generation Procedure , 1988, Comput. Networks.

[9]  Rajeev Alur,et al.  An Analyzer for Message Sequence Charts , 1996, Softw. Concepts Tools.

[10]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[11]  Rajeev Alur,et al.  Model Checking of Message Sequence Charts , 1999, CONCUR.

[12]  Sung Deok Cha,et al.  Construction of global finite state machine for testing task interactions written in message sequence charts , 2002, SEKE '02.

[13]  Rajeev Alur,et al.  An Analyser for Mesage Sequence Charts , 1996, TACAS.

[14]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

[15]  Dieter Hogrefe,et al.  Autolink - Putting SDL-Based Test Generation Into Practice , 1998, IWTCS.

[16]  Byung-Sun Lee,et al.  Testing of concurrent programs based on message sequence charts , 1999, 1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems.

[17]  Jochen Klose,et al.  An Automata Based Interpretation of Live Sequence Charts , 2001, TACAS.

[18]  Peter B. Ladkin,et al.  Interpreting Message Flow Graphs , 1995, Formal Aspects of Computing.