What does Statestep check that other tools don ?
In terms of checking correctness, what uniquely distinguishes Statestep is that it gives you the power needed to validate a model’s response in all circumstances – something that, fundamentally, cannot be checked automatically. For example, if you create a standard finite state machine model which includes components A, B, …, then you can get a model checker to check an invariant such as A is never in state a1 at the same time as B is in state b1. However, suppose there is some unusual scenario in which the model enters the state [a1,b2,…]. Even if this state is allowed, it does not follow that for the system to enter it is the desired or correct response in this particular case. The problem may also be missed in testing which, for non-trivial systems, is necessarily sample-based. With Statestep, even as you create the model you are already validating the overall system response in every case, including the most obscure scenarios.
