|
No. As a matter of fact, it is an important part of the automated test design methodology that the model that is used as the basis for test generation is independent from the actual implementation. If the tests are derived from the same source is the implementation, they can only verify that the system works as it works but not verify that the system implementors have actually interpreted the requirements and specifications correctly.
It is also good to understand that often when systems people speak of "modeling", they mean structural and use case modeling. What you do with Conformiq Modeler is behavioral modeling, which is rarer these days.
| 