|
Conformiq Designer is based on a mathematical state space exploration framework which "understands" the meaning of the model in a deep sense. On top of this framework we have implemented known and well-tried black-box test design heuristics such as requirements-driven testing, atomic condition coverage and boundary value analysis. These are readily available in the tool with the push of a button.
The test generation algorithm does not generate "random" tests. Instead our tool produces an optimized test suite which covers all the selected testing goals in an effective and efficient fashion. It is a way different experience from random test generation. Our tool produces also automatically both traceability information (in the form of a requirements traceability matrix) as well as test case dependency relations.
| 