有没有人对基于模型的测试工具有什么建议？ Spec Explorer / SPEC＃值得它在测试人员培训中的重量吗？
我传统上做的是创建一个Visio模型，在其中我调出每个州的状态和相关变量，输出和预期结果。然后以完全断开的方式，我使用基于该模型的变量来数据驱动我的测试脚本。但是，他们没有联系。我想要一种创建模型的方法，以业务友好的方式关联变量，然后构建脚本的数据参数。
我不能成为第一个需要这个的人。那里有一个基本上可以做的工具吗？没有自己开发它。
答案 0 :(得分：4)
您可能会发现类似问题的以下答案有用：
http://testing.stackexchange.com/questions/92/how-to-get-started-with-model-based-testing
其中，我提到：
UML Pad http://web.tiscali.it/ggbhome/umlpad/umlpad.htm 免费的UML工具列表：http://en.wikipedia.org/wiki/Category:Free_UML_tools 我们的成对和组合测试用例生成器（根据您创建的模型自动生成测试 - 即使您不创建UML模型）：http://hexawise.com
顺便提一下，正如我在上面链接的答案中所解释的那样，我将精力集中在研究的第二部分（研究，工具开发重点，激情等） - 生成高效且有效的测试集，以最大限度地提高覆盖率。最少数量的测试用例。
贾斯汀（Hexawise的创始人）
答案 1 :(得分：2)
我认为“Spec Explorer for Visual Studio”电动工具的更新版本应该很快就会发布 - 它比current version更容易上升，但仍然需要一些时间来学习。 / p>
如果你想要缩小规模，nmodel（也来自微软）是一个很好的起点。
答案 2 :(得分：2)
查看TestOptimal。它提供完整周期的基于模型的测试，内置数据驱动测试和模型内的组合测试。它具有图形建模和调试功能，您可以在其中播放模型，并以图形方式为模型执行设置动画。您可以将状态/转换链接到要求。模型可以重新用于负载测试而无需更改。它甚至可以为Web应用程序创建完全自动化的MBT，而无需任何编码/脚本。查看此简短幻灯片演示文稿：http://TestOptimal.com/tutorials/Overview.htm
答案 3 :(得分：1)
你应该尝试All4Tec的“MaTeLo”工具。 www.all4tec.net
“MaTeLo是用于黑匣子功能和系统测试的测试用例生成器。符合基于模型的测试方法，MaTeLo使用马尔可夫链进行测试建模。该统计插件允许以系统方式进行产品验证。效率得以实现通过减少所需的人力资源，增加模型重用和增强测试策略的相关性（由于可靠性目标）.MaTeLo是独立且用户友好的，提供验证活动从测试脚本传递真正的测试工程，并专注于测试的真正附加价值：测试计划“
您可以询问评估许可证并亲自尝试。
你可以在这里找到一些例子：http://www.all4tec.net/wiki/index.php?title=Tutorials
答案 4 :(得分：1)
我的一位同事已经制作了这个工具http://mbt.tigris.org/，并且它在大规模测试环境中使用了多年。这是开放源代码和所有..
更新： 以下是白皮书：http://www.prolore.se/filer/whitepaper/MBT-Agile.pdf
这个工具非常适合MBT，是一个免费的建模软件。
答案 5 :(得分：1)
我可以告诉你，需要Visual Studio专业版的2010版Spec Explorer是一个很棒的工具，假设你已经有了Visual Studio。较旧版本的spec explorer很好，但是限制是如果你最终建模一个非限定的系统，那你就不走运了。
新版本改进了用于查看模型“切片”的技术，使其具有有限状态。一旦有了有限状态，就可以生成测试用例。
最棒的是，当您更改模型并重新切片时，可以直接重新生成测试并重新运行它们。这无疑会在任何一天都超过手动过程。
我无法将此工具与其他工具集进行比较，但与Visual Studio的集成非常宝贵。如果您不使用Visual Studio，则可能会取得有限的成功。