| || |
Tools for state transition testing
I am looking for commercially available tools for state transition testing. I am primarily interested in two features:
1) Dual mode specification of state machines, i.e., the possibility to construct and edit state machines in both tabular notation and ordinary graphical notation, and then being able to maintain synch between these two representations.
Also, in the graphical representation transitions connected to a state should preferably not be lost, when the state is moved around.
2) Automatic test case generation. From a representation of a state machine automatically generate input and possibly expected output of test cases in some scripting language.
If anyone knows of any such tools I'd appreciate pointers. Tools with only one of the features above is still interesting.
Thanks in advance
Re: Tools for state transition testing
A clarification of my inquiry;
State transition testing is the name used in BCS (British Computer Society) standard BS7925-2 for testing techniques using state machines to model functionality (and sometimes other things such as timeliness). These models are then used for deriving test cases for instance covering each transition in the model. Beizer calls the same thing state-based testing.