我想讨论一下很专业的验证方法论的问题 就是基于断语的验证和基于带约束的随机激励蒙特卡罗验证哪一个更有效？
聪明人一定会毫不犹豫地说，两种方法各有利弊，各有千秋，就像没有办法比较苹果和香蕉哪一个更好一样。
没有错，这两种验证方式各有自己存在的合理性，也各有自己最能发挥自己威力的领域。
但是，如果现在问题改为，如果这两种方式只能选择一种？那应该选哪一种。
基于断语的方式是说这个模块应该怎么工作，验证的人需要对DUT有一定了解，这是一种白盒测试。
除机激励的原则是只要输入是合法的，那输出就应该与期待的一样，否则就是错。
这种验证不需要对DUT的具体实现有任何先验知名，可以作黑盒测试。
前一种偏理论，后一种偏实践。
理论与实践
最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
- 文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
- 文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
- 文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
推荐阅读更多精彩内容
- Java中的Thread与操作系统中的线程的关系 线程切换的各种开销 ThreadGroup存在的意义 使用线程池...
- 转载自 IBM Java 理论与实践: 正确使用 Volatile 变量 你真的了解volatile关键字吗？ v...
- Java 语言中的 volatile 变量可以被看作是一种 “程度较轻的 synchronized”；与 sync...
