April 22, 2015 at 12:42 pm #7822@clg016Only available when logged in
I’ve just started to explore this area and I’d like to get some opinions, evaluation, suggestions from experienced users of the method in general and especially from Microsoft Spec Explorer users.
Here are some beginner questions:
1. What are the main difficulties in implementing the model based testing process into the testing community of the organization?
2. Is Spec Explorer tool efficient, powerful? Are there significant issues regarding model implementation, state machine exploration, test case generation?
3. Any benchmark evaluation results between model based vs. traditional test planning?
4. Any examples of SW products where the method worked well vs. others where it proved to be inefficient?
Thanks a lot.April 24, 2015 at 9:10 pm #7878@rudi-kunzeOnly available when logged in
for an embedded project for safety critical algorithms we use Spec Explorer since several years.
Here are some newer publications to your questions I found very resonating to our experience:
The tool is absolutly professional and by far the best documented one of the three big MBT-tools. Take in mind that you have to use Visual Studio 2010 or 2012. And to be totally safe a Windows from that time frame, because Spec Explorer explores CIL which depends on Windows itself.
You must be logged in to reply to this topic.