當(dāng)今功能驗(yàn)證在人力資源、復(fù)雜度和完成時(shí)間上的挑戰(zhàn)遠(yuǎn)遠(yuǎn)超過了沒汁方面的挑戰(zhàn)，這就要求盡可能多地重復(fù)利用驗(yàn)證資源。什么是驗(yàn)證的重用?和設(shè)計(jì)重用類似，從高層次定義，驗(yàn)證重用是通過重復(fù)利用一些驗(yàn)證代碼來提高驗(yàn)證效率，減少驗(yàn)證代價(jià)并且得到高質(zhì)量的設(shè)計(jì)。