1
$\begingroup$

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?

$\endgroup$

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.