Since all possible state transitions can be enumerated it's possible to know a minimum set of tests that should be written.
We built something like this in HybridCluster, from which Jean-Paul learned that he preferred tests to be organized by state rather than by input (that is, a TestCase per state with methods for testing each input).
Since all possible state transitions can be enumerated it's possible to know a minimum set of tests that should be written.
We built something like this in HybridCluster, from which Jean-Paul learned that he preferred tests to be organized by state rather than by input (that is, a TestCase per state with methods for testing each input).