A couple quick points for others wanting additional background on model-based testing and free model-based testing tools:

1. For additional background reading on model-based testing, I would recommend: Practical Model-Based Testing: A Tools Approach by Mark Utting and Bruno Legeard.

http://www.amazon.com/Practical-Model-Based-Testing-Tools-Approach/dp/0123725011/sr=1-1/qid=1157585827/ref=sr_1_1?ie=UTF8&s=books

2. Hexawise, at http://www.hexawise.com, is a model-based test design tool and we have a free version available. Its strength is in identifying what conditions should be run in each test case once a tester has input a slightly simplified model of the System Under Test. (For an example of a simplified model of the SUT, see slide 4 of the presentation currently on our home page; it is more straightforward than it sounds). Once that simplified model is entered, Hexawise uses well-proven optimization methods (similar to ones my dad helped develop that have since been refined for more than 20 years) to determine how to maximize coverage in the fewest possible test cases. Hexawise does not have visual modeling capabilities such as UML figures, however and it seems as though you might be interested in those capabilities.

3. Therefore, if you are seeking free UML tools, you might want to check out UML Pad for example (see http://web.tiscali.it/ggbhome/umlpad/umlpad.htm). Or for a list of multiple options, please see: http://en.wikipedia.org/wiki/Category:Free_UML_tools

4. Lastly, for an amusing, quick, and easy-to-read but nonetheless insightful introductory piece on model-based testing, I would recommend Robinson’s article “Intelligent Test Automation”. It is told in a “fairy tale” perspective. I like the way how it explicitly ties together Exploratory Testing and Model-based Testing, among other things.

- Justin

______________________
Justin Hunter
Founder and CEO of Hexawise
“More coverage. Fewer tests.”