基于模型的测试框架的想法 （三）

在一个group里面问了关于自动设计测试用例的工具的问题，各路高手从理论上到实际工具都给了一些介绍，虽然我没有得到我想要的答案，但是这么多热心的回复确实让我多思考和学习很多东西

先整理一下各路高手的回复：

1.  Hexawise

2. 这样的工具主要集中在执行和分支的判断上，是没办法测试到代码最初的意图，也不能保证能够测试到最初的需求。

3. 在行为驱动开发模式里，Gherkin 语法可以用来描述User Case，然后Cucumber 和SpecFlow 可以进一步自动化生成case

4. 模型驱动，但是建模难度很高，没法保证正确性

5. 没有这样的工具，几十年前，数学家和工程师就尝试用算法描述各种模型，但是没有成功，这种模型基于个人理解，很容易需要修改也很容易出错

6. 这种工具有好处也有坏处，请看我的书和演讲

7. NModel

8. 创建这样一个模型工具是非常痛苦和需要很多维护的

9. PICT 可以在某些状况下发挥作用

10. SpecExplorer 

11. 让计算机做它能做的，不要认为只要给个合适的算法，计算机就可以做任何事

12. Founder and CEO at Hexawise出现了，希望可以合作

13. QC

14. Selenium

15. BluePrint

16. Agitar