What can I use Statestep for?
It is difficult to anticipate all the ways in which it could be useful. In the area of software engineering, it is designed to support a particular method of specification which has proven valuable in the context of embedded interactive systems (though it will not suit all such systems). It could also potentially be used, for example, to produce a test oracle to avoid having to validate test outputs manually. More generally, it has potential application in any area where you might wish to consider many combinations of circumstances – especially where, because of the very large number of combinations, you might not previously have imagined such a thorough approach was even possible. Perhaps the best way to get an idea of whether and how it may be of use to you is to look through the first two or three pages of the tutorial.
