How does Statestep compare to formal methods?
Statestep shares the advantages common to formal methods in that it helps to create specifications that are precise, consistent and unambiguous. However, a recognized weakness of formal methods in general is that they are weak at exposing errors of omission. Statestep addresses this weakness by forcing you to think about how your system should respond in every case in an explicitly comprehensive way. Statestep is also much easier to learn and use than most formal methods. On the negative side, it is typically less scalable, at least in its basic form, and also rather more specialized, which reduces the number of situations in which it is appropriate.
Related Questions
- How does the method of TestWeaver compare with model-checking and other formal verification methods (e.g. as used by EmbeddedValidator, SPIN and others)?
- How does the method of TestWeaver compare with model-checking and other formal verification methods (e.g. as used by EmbeddedValidator, SPIN and others)?
- How does waxing compare to other hair removal methods?
- How does Statestep compare to other tabular methods?
- How does Statestep compare to other tabular methods?
- How does Statestep compare to formal methods?
