A test sequence selection method for statecharts

Abstract

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.

Test Data Generation from UML State Machine Diagrams using GAs

“…Many UML diagrams are selected for automated test data generation. Hong et.al [13] proposed a technique to select the test path from a state diagram. The concept of used and defined variable is applied with the EFSMs which generated from the state machine diagram.…”

Dependence Testing: Extending Data Flow Testing with Control Dependence

“…Flow graphs have also been used in analyzing and testing specification languages whose underlying model is extended finite state machine such as Estelle [32], SDL [33], and statecharts [19] as well as process algebra such as LOTOS [31].…”

Data Flow Analysis of UML Models by ALF

“…Hong et al [12] described test sequence selection method by applying DFA technique on state-chart. Like DFA on UML state machine [10], they transform state-chart to EFSM model which contains events, guards, actions and all possible runs (test paths) of state-chart.…”

“…Concurrent and hierarchical structure of state machine is flattened and test paths are generated from resulting flow graph by EFSM. Hong et al [12] transform state machine model into flow graph and applies DFA on model. The benefit of flow graph is its ability to occupy variable and data information whether they exist on nodes or transition edges.…”