為什么必須做功能覆蓋率？and How ？

為什么是功能覆蓋率？現(xiàn)在的主流的驗(yàn)證語言是systemverilog，其特點(diǎn)之一就是約束下的隨機(jī)。相比較定向測試，它的驗(yàn)證效率更高，定向測試需要對(duì)每個(gè)功能點(diǎn)，每個(gè)測試維度去構(gòu)造不同的用例測試，只能是想多少測多少，激勵(lì)空間是已知的。而隨機(jī)化的驗(yàn)證，其激勵(lì)空間要大的多，遠(yuǎn)遠(yuǎn)大于定向測試的激勵(lì)空間。定向測試好處是每個(gè)用例測試激勵(lì)明確，只要測試通過了，用例的目標(biāo)也就達(dá)成了，而隨機(jī)化的驗(yàn)證問題是測試激勵(lì)不明確，雖然它的激勵(lì)空間更大，但是怎樣知道用例執(zhí)行完成后，覆蓋到了哪些激勵(lì)空間，沒有覆蓋到哪些激勵(lì)空間呢？所以需要一個(gè)衡量標(biāo)準(zhǔn)，這就是功能覆蓋率。

怎樣做功能覆蓋率？
需求！需求！需求！重要的事情說三遍，經(jīng)過提取、整理和評(píng)審一致通過的驗(yàn)證需求，是做功能覆蓋率的依據(jù)，要保證每個(gè)需求的充分驗(yàn)證，有哪些點(diǎn)必須驗(yàn)證到，這個(gè)是必須具體化、量化的，想不清楚這個(gè)問題就是沒有真正理解需求，驗(yàn)證質(zhì)量又如何保證呢。
Systemverilog語言對(duì)于功能覆蓋率有很好的支持，其中覆蓋點(diǎn)和交叉覆蓋的概念非常重要。覆蓋點(diǎn)對(duì)應(yīng)的是上面提到的量化后的需求，這只是點(diǎn)，多個(gè)點(diǎn)就是一條線，是一個(gè)維度的覆蓋；一個(gè)設(shè)計(jì)諸多功能并不是完全孤立的，所以單單驗(yàn)證一個(gè)點(diǎn)、一條線遠(yuǎn)遠(yuǎn)的不夠的，交叉覆蓋率就是來把這些點(diǎn)、線連接起來，織成了一張網(wǎng)。通過這張網(wǎng)把所有需求囊括其中。
基于功能覆蓋率驅(qū)動(dòng)的驗(yàn)證：有被動(dòng)驅(qū)動(dòng)和主動(dòng)驅(qū)動(dòng)兩種。
所謂被動(dòng)驅(qū)動(dòng)，有點(diǎn)“馬后炮”的嫌疑，在用例執(zhí)行完成后，通過查看覆蓋率報(bào)告來對(duì)未覆蓋到的點(diǎn)補(bǔ)充定向用例覆蓋；而主動(dòng)驅(qū)動(dòng)，是在用例執(zhí)行過程中，以功能覆蓋率100%或預(yù)期的百分比作為退出條件，否則會(huì)一直進(jìn)行隨機(jī)測試，“不達(dá)目的誓不罷休”。
所謂行百里者半九十，做隨機(jī)化驗(yàn)證也存在著越臨近終點(diǎn)，需要付出的更多，因?yàn)樵降阶詈箅S機(jī)重復(fù)的概率越大，隨機(jī)成千上萬次可能才能有一個(gè)新覆蓋點(diǎn)，命中率越來越低。針對(duì)這個(gè)問題，如果采用主動(dòng)驅(qū)動(dòng)方法，可以提前篩選掉重復(fù)的隨機(jī)，只采用對(duì)覆蓋率有貢獻(xiàn)的隨機(jī)值，將命中率提高到100%。
但被動(dòng)驅(qū)動(dòng)方法也有其優(yōu)勢，覆蓋組是對(duì)所有用例的隨機(jī)進(jìn)行采樣，而主動(dòng)驅(qū)動(dòng)是針對(duì)單一用例來實(shí)現(xiàn)的。通過諸多項(xiàng)目經(jīng)驗(yàn)來看，首推主動(dòng)驅(qū)動(dòng)方法，效率更高。
結(jié)論
理解清楚驗(yàn)證需求，具體量化驗(yàn)證需求，用功能覆蓋率編織的一張大網(wǎng)，把所有的覆蓋點(diǎn)一網(wǎng)打盡，采用主動(dòng)、被動(dòng)驅(qū)動(dòng)方法做到攻守兼?zhèn)?，讓?yàn)證工作更加高質(zhì)、高效。