有人对使用什么基于模型的测试工具有任何建议吗？Spec Explorer/SPEC# 在测试人员培训中值得重视吗？
我传统上所做的是创建一个 Visio 模型，在其中我调用每个状态的状态和相关变量、输出和预期结果。然后以一种完全断开的方式，我使用基于该模型的这些变量来驱动我的测试脚本。但是，它们没有连接。我想要一种创建模型的方法，以业务友好的方式关联变量，然后为脚本构建数据参数。
我不能成为第一个需要这个的人。有没有一种工具可以基本上做到这一点？没有自己开发。
ModelTester
问问题
8088 次
6 回答
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 创始人）
于 2009-10-27T15:36:37.493 回答
2
查看 TestOptimal。它提供全周期基于模型的测试，并在模型中内置数据驱动测试和组合测试。它具有图形建模和调试功能，您可以播放模型并以图形方式动画模型执行。您可以将状态/转换链接到需求。模型可以重新用于负载测试而无需更改。它甚至可以为 Web 应用程序创建全自动 MBT，而无需任何编码/脚本。看看这个简短的幻灯片演示：http: //TestOptimal.com/tutorials/Overview.htm
于 2010-08-14T05:30:37.853 回答
1
我可以告诉你，需要 Visual Studio 专业版的 2010 版 Spec Explorer 是一个很棒的工具，假设你已经有了 Visual Studio。旧版本的规范浏览器很好，但限制是，如果你最终建模了一个非有限的系统，那么你就不走运了。
新版本改进了查看模型“切片”的技术，使其达到有限状态。一旦有了有限状态，就可以生成测试用例。
最棒的是，当您更改模型并重新切片模型时，重新生成测试并重新运行它们很简单。这肯定比任何一天的手动过程都要好。
我无法将此工具与其他工具集进行比较，但与 Visual Studio 的集成是非常宝贵的。如果您不使用 Visual Studio，您可能会获得有限的成功。
于 2011-03-08T20:53:45.493 回答
1
我的一位同事制作了这个工具，http ://mbt.tigris.org/ ，并且多年来一直在大规模测试环境中使用。它是开源的，所有..
更新：这里是简短的白皮书： http: //www.prolore.se/filer/whitepaper/MBT-Agile.pdf
这个工具非常适合 MBT，yED 是一款免费的建模软件。
于 2009-10-22T15:33:40.373 回答
1
你应该试试 All4Tec 的“MaTeLo”工具。www.all4tec.net
“MaTeLo 是用于黑盒功能和系统测试的测试用例生成器。MaTeLo 遵循基于模型的测试方法，使用马尔可夫链对测试进行建模。这个统计插件允许以系统的方式验证产品。效率是通过减少所需的人力资源，模型重用的增加和测试策略相关性的增强（由于可靠性目标）。MaTeLo 是独立且用户友好的，提供从测试脚本到实际测试的验证活动工程并专注于测试的真正附加值：测试计划”
您可以要求评估许可证并自行尝试。
你可以在这里找到一些例子：http ://www.all4tec.net/wiki/index.php?title=Tutorials
于 2009-09-01T16:26:43.933 回答