Recommended Model-Based Testing Tools

Question

Does anyone have any suggestions on which model-based testing tools to use? Is Spec Explorer / SPEC # weight in testing a tester?

What I have traditionally done is to create a Visio model in which I invoke states and associated variables, outputs and expected results from each state. Then, completely disabled, I pass my test scripts with these variables based on this model. But they are not connected. I want to create a model, associate variables with a business interface, which will then create data parameters for scripts.

I cannot be the first to need it. Is there a tool out there that will basically do this? In short, developing it myself.

Answer 1

An answer to a similar question may be useful:

http://testing.stackexchange.com/questions/92/how-to-get-started-with-model-based-testing

In it I mention:

UML Pad http://web.tiscali.it/ggbhome/umlpad/umlpad.htm List of free UML tools: http://en.wikipedia.org/wiki/Category:Free_UML_tools Our Pairwise and combinatorial test generator (which automatically generates tests for you based on the model you created, even if you do not create a UML model): <a3>

By the way, as explained in the answer to which I refer above, I focus my efforts (research, focusing on tools, passion, etc.) on the second part of your question - creating effective and efficient test suites that maximize coverage in a minimal amount test cases.

Justin (founder of Hexawise)

Answer 2

I think that an updated version of the Spec Explorer for Visual Studio power tool will be released soon - it’s much easier to pounce on the current version , but it still takes some time to learn.

If you want to start less, nmodel (also from microsoft) is a good place to start.

Answer 3

Check out TestOptimal. It offers full-scale model-based testing with built-in data-based testing and combinatorial testing right in the model. It has graphical modeling and debugging, which you can reproduce in the model, and graphically simulates the execution of the model. You can associate state / transition with requirements. Models can be reconfigured for load testing without any changes. He can even create a complete automated MBT for web applications without any coding / scripting. Check out this short slide presentation: http://TestOptimal.com/tutorials/Overview.htm

Answer 4

You should try the MaTeLo tool for All4Tec. www.all4tec.net

"MaTeLo is a test phenomena generator for functional and system tests of the black box. According to the model-based modeling method, MaTeLo uses Markov chains to simulate the test. This statistical add-on allows you to systematize the product system. By reducing the required human resources, increasing the reuse of the model and increasing the relevance of the test strategy (due to the reliability target). MaTeLo is independent and user-friendly, offers validation for actions AI to transition from test cases to real engineering tests and focus on the real added value of testing: test plans "

You can request an evaluation license and try it yourself.

Here you can find some examples: http://www.all4tec.net/wiki/index.php?title=Tutorials

Answer 5

My colleague made this tool, http://mbt.tigris.org/ , and it is used from time to time in large-scale test environments. This is Open Source and that's it ..

Update: Here is a brief technical document: http://www.prolore.se/filer/whitepaper/MBT-Agile.pdf

This tool is great for MBT, yED, a free simulation software.

Answer 6

I can tell you that Spec Explorer 2010, which requires the professional version of Visual Studio, is a great tool if you already have Visual Studio. The older version of spec explorer was good, but the limitation was that if you finished modeling a system that was non-finite, you're out of luck.

The new version improves the search methods for "slices" of the model to the point at which you have the final state. When you have final states, you can generate test cases.

The great thing is that when you change the model and re-cut your model, you just need to re-generate the tests and re-run them. This certainly surpasses the manual procedure any day.

I cannot compare this tool with other toolboxes, but integration with Visual Studio is invaluable. If you are not using Visual Studio, you may have limited success.