Abstract: Component state machine (CSM) is used to model the behavior of component under test. We design an algorithm transforming CSM into a component flow graph that describes control and data flows among states, transitions, and guards of transitions in the CSM. We then propose a data flow graph-based approach to test component. The du-path set of a component flow graph can be generated automatically according to all-use criterion for data flow testing.

Key words:

component state machine, data flow testing, component flow graph,, the shortest du-path