David Harel's StateCharts introduces hierarchical states and history mechanism, which are really powerful when modeling complex system behaviour. But when doing model based testing we need a "flattened state machine", that is an equivalent state machine without any hierarchy.

By googling around I found this paper by Wasowski, but its a little bit too hard to understand.

Is there any existing algorithm for hierarchical state machine flattening?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.