A test sequence selection method for statecharts

This paper presents a method for the selection of test sequences from statecharts. It is shown that a statechart can be transformed into a flow graph modelling the flow of both control and data in the statechart. The transformation enables the application of conventional control and data flow analysis techniques to test sequence selection from statecharts. The resulting set of test sequences provides the capability of determining whether an implementation establishes the desired flow of control and data expressed in statecharts. Copyright © 2000 John Wiley & Sons, Ltd.

[1]  Elaine J. Weyuker,et al.  Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.

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

[3]  Gregor von Bochmann,et al.  A Test Design Methodology for Protocol Testing , 1987, IEEE Transactions on Software Engineering.

[4]  Hasan Ural Test sequence selection based on static data flow analysis , 1987, Comput. Commun..

[5]  Elaine J. Weyuker,et al.  An Applicable Family of Data Flow Testing Criteria , 1988, IEEE Trans. Software Eng..

[6]  Bo Yang,et al.  A test sequence selection method for protocol testing , 1991, IEEE Trans. Commun..

[7]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[8]  Sanjoy Paul,et al.  Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols , 1992, PSTV.

[9]  Amir Pnueli,et al.  Timed and Hybrid Statecharts and Their Textual Representation , 1992, FTRTFT.

[10]  Hasan Ural,et al.  Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL , 1993, FORTE.

[11]  Elaine J. Weyuker,et al.  A Formal Analysis of the Fault-Detecting Ability of Testing Methods , 1993, IEEE Trans. Software Eng..

[12]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[13]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[14]  Alexandre Petrenko,et al.  Protocol testing: review of methods and relevance for software testing , 1994, ISSTA '94.

[15]  David Chenho Kung,et al.  On object state testing , 1994, Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94).

[16]  David Lee,et al.  Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines , 1996, FORTE.

[17]  David Notkin,et al.  Model checking large software specifications , 1996, SIGSOFT '96.

[18]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[19]  Constance L. Heitmeyer,et al.  Automated consistency checking of requirements specifications , 1996, TSEM.

[20]  Thierry Jéron,et al.  Using On-The-Fly Verification Techniques for the Generation of test Suites , 1996, CAV.

[21]  Sita Ramakrishnan,et al.  Testing concurrency and communication in distributed objects , 1998, Proceedings. Fifth International Conference on High Performance Computing (Cat. No. 98EX238).

[22]  Harbhajan Singh,et al.  Automated Test Set Generation for Statecharts , 1998, FM-Trends.

[23]  Li Liuying,et al.  Test selection from UML Statecharts , 1999 .

[24]  Thierry Jéron,et al.  Automated test generation from SDL specifications , 1999, SDL Forum.

[25]  A. Jefferson Offutt,et al.  Generating Tests from UML Specifications , 1999, UML.