Wed Jan 25 17:22:06 EST 2012
State machines have popped up a lot lately:
- Current consulting project: how to make an exhaustive test for a
relatively implicitly specified state machine.
- Staapl: defining state machines (protocol-oriented programming) in
a concatenative language: functional specification and
instantiation (register / global variable allocation).
- meta/dspm/Loop: SSA / CPS / ANF without procedure calls.
For most embedded work they seem to be a good solution, but can
sometimes be hard to test. Is there a good way to link the high level
specification and low level implementation with a good testing