我对验证的一些理解

fig__tree · 发表于 2015-6-2 23:25:11

好，以后好好看看

loglong · 发表于 2015-6-4 14:27:20

看到你说语言方法学不重要。我想你的意思应该是什么语言，什么方法学，只要验好了就行。
这个我同意，但是我不同意你的这句陈述。

我觉得语言和方法学才是最重要的，你下面提到的随机激励，约束激励，自动check，coverage，这些都是方法学，是前人做了多年验证的结晶。学好了验证方法学，才能谈验证。
至于语言，也非常重要，这就是我们验证的工具，好像有人说英语不重要，能沟通就行，但是你要沟通流畅，你的英语太烂也不行。同理，语言的基础没掌握，写出来的code都乱七八糟，谈何验证。