Wed Jan 25 17:22:06 EST 2012

State machines

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