Testing tinyFSM state machines with VectorCAST?

[scottdwhitney]

Does anyone have any experience testing tinyFSM state machines using a unit test tool like VectorCAST? For the application we are considering, we need to be able to provide events/stimulus and verify that each state handles the appropriate event and that transitions are executed correctly.

Any suggestions for setting up a state machine and unit test project to cover all possible events and state transitions would be greatly appreciated!