From couple of days i am researching on Model Based Testing. Really wanted to have good grasp on fundamentals of testing my code using model based testing.
Finally i landed on Microsoft Spec Explorer and N Model. Their are many commercial tools available in this subject , but as a Novice i opted to use above for my test purpose.
The integration of Spec Explorer with Visual studio really made my analysis easy , while using N Model i have to code more to generate tests, generate models and finally run the tests against implementation.
Abstraction plays a key role in designing models.
I created few test applications using c#, modeled the use case and generated offline tests using spec explorer.
At times To provide a good code coverage it becomes difficult , to unit tests but using Model Based testing i was able to get a good code coverage very fast , identified Dead code and finally wrote some better code.
