说明：<微软测试技术心得整理>
测试理论里有个著名理论叫杀虫剂悖论（pesticide paradox），简单理解就如同给树喷农药，为了杀灭害虫只打一种杀虫药，小虫子就会有抗体而变得适应，一代一代就杀不死了。
基于模型的测试有很多好处，包括：只需要管理模型，而不需要管理众多的测试用例；可以基于模型来自动化生成测试用例；可以有效防止“杀虫悖论”；可以解决更大的测试问题；提升测试工作的满意度；完成自动的探索性测试。
同时，正如我们前面提到的，基于模型的测试对参与者的能力要求很高，需要测试工程师有设计能力及扎实的计算机专业功底，实施这种测试方法在前期投入会比较大。甚至很难通过“缺陷数目”、“测试用例的数目”来衡量模型生成测试能力的好坏，但是可以很容易地通过“规格说明覆盖率”、“代码覆盖率”来进行衡量。
