理论与实践

我想讨论一下很专业的验证方法论的问题 就是基于断语的验证和基于带约束的随机激励蒙特卡罗验证哪一个更有效？
聪明人一定会毫不犹豫地说，两种方法各有利弊，各有千秋，就像没有办法比较苹果和香蕉哪一个更好一样。
没有错，这两种验证方式各有自己存在的合理性，也各有自己最能发挥自己威力的领域。
但是，如果现在问题改为，如果这两种方式只能选择一种？那应该选哪一种。
基于断语的方式是说这个模块应该怎么工作，验证的人需要对DUT有一定了解，这是一种白盒测试。
除机激励的原则是只要输入是合法的，那输出就应该与期待的一样，否则就是错。
这种验证不需要对DUT的具体实现有任何先验知名，可以作黑盒测试。
前一种偏理论，后一种偏实践。