Sat Dec 17 10:32:46 EST 2011

State machines are hard

I'm on an embedded project with a lot (lot lot) of state that is very
hard to test properly.  We're basically like "oh yes, this is a case
that needs to be tested also." but only after we see it failing in
more expensive black bock testsint, past the first line of developer

How can this problem be reduced in a more systematic way?  I sort of
saw it coming, but did not have a way to counter..