采用模型测试

 

如果能学习了解并且有意识地利用模型来测试的话，测试效果会更好。

 

设计模型：“一个好的模型的规模总是‘很小’的。”

        由一些小的模型开始，可以在弄清不同系统间的互动之前完整地理解系统中的一个分区。

 

在每次生成模型时都会要考虑下面这三个问题：
1. 我在哪里？ 我需要知道现在应用程序处于何种状态，而且我需要能够描述（或知道如何验证）当前状态。
2. 我可以进行什么操作？ 根据我当前的状态，我可以做哪些不同的事情？
3. 我做这些事的结果会怎样？ 如果我进行某项操作，它会将我带入怎样的状态？

 

 

二 MBT工具集

model-based testing tools

Ms spec-explorer: http://www.infoq.com/cn/news/2009/11/spec-explorer-2010

开源 http://mbt.tigris.org/doc.html

C#写的：http://nmodel.codeplex.com/

 

ET难点在于创新性的测试思维及平衡计划性与随机性，

MBT难点在于对领域知识抽象能力及建模。

更多工具待实践挖掘。