當(dāng)介紹uvm驗(yàn)證時(shí)大家肯定都看過上面類似的圖片，以展示受約束的隨機(jī)驗(yàn)證相比直接用例測(cè)試如何具有先進(jìn)性。

但是，在實(shí)際的項(xiàng)目執(zhí)行過程中，受約束隨機(jī)驗(yàn)證的效果真的比直接用例測(cè)試好么？

說實(shí)話，真的不見得。可以考慮以下幾種情況：

如果初期驗(yàn)證環(huán)境搭建得太復(fù)雜，是不是有可能直接用例已經(jīng)測(cè)完了一半的特性，隨機(jī)驗(yàn)證還沒有啟動(dòng)。比較尷尬的局面就是再?zèng)]有簡單的bug可以發(fā)現(xiàn)了，數(shù)據(jù)上會(huì)顯得隨機(jī)驗(yàn)證的效果比較差，甚至有可能圖上的time savings都沒有了。

隨機(jī)用例很多時(shí)候沒有辦法覆蓋到某個(gè)指定的場(chǎng)景，甚至錯(cuò)誤的覆蓋率寫法讓你誤以為覆蓋了某個(gè)場(chǎng)景，但不進(jìn)行波形確認(rèn)的話可能是個(gè)假PASS。

上圖中的曲線斜率是一個(gè)為了展示受約束隨機(jī)的優(yōu)越性而畫出來的。實(shí)際項(xiàng)目中有可能隨機(jī)效果不是很好，并不會(huì)有這么陡峭的斜率。

總之，受約束隨機(jī)驗(yàn)證和直接用例驗(yàn)證并不沖突。在實(shí)際的項(xiàng)目中，兩者需要共存。哪些方面需要增加定向用例？哪些方面需要增加隨機(jī)驗(yàn)證？這些都是需要在驗(yàn)證執(zhí)行過程中反復(fù)迭代的事情。

審核編輯：劉清