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