驗證環(huán)境中的checker 需要檢查哪些內(nèi)容？
[導讀]checker收集DUT輸出，然后從功能的角度驗證了設計是否按照預期工作，而不僅僅只檢查輸出接口協(xié)議的正確性。?checker往往是驗證環(huán)境中最難創(chuàng)建的組件之一，因為驗證工程師必須在checker中實現(xiàn)端到端的許多DUT功能。這就需要驗證工程師能夠設想所有的輸入場景，以及思考更多...
checker 收集DUT輸出，然后從功能的角度驗證了設計是否按照預期工作，而不僅僅只檢查輸出接口協(xié)議的正確性。?
checker 往往是驗證環(huán)境中最難創(chuàng)建的組件之一，因為驗證工程師必須在checker 中實現(xiàn)端到端的許多DUT功能。這就需要驗證工程師能夠設想所有的輸入場景，以及思考更多完備性地檢查。
所以，關于checker，驗證工程師需要經(jīng)常思考一個問題：“如果這個地方有問題，我如何才能發(fā)現(xiàn)？”?
過去，驗證工程師通過手工檢查測試用例執(zhí)行結果并和DUT輸出比較進行功能檢查。隨著設計復雜性的增加，驗證工程師需要在checker中進行自動比對。Checker的輸入和DUT的輸入一樣，即利用來自輸入接口的激勵預測DUT的輸出。因為在一個測試用例中可能存在多個請求，所以checker需要將輸入請求與輸出響應相關聯(lián)起來，以實現(xiàn)保序或者亂序比對。?checker 將預期結果與DUT的實際輸出進行比較。如果結果匹配，則測試用例成功完成。如果結果比較錯誤，checker 將向log日志文件中打印一些定位故障需要的所有相關信息。
以下列出了Checker檢查的一些基本的故障類型：■所有請求都接收到了響應（沒有丟失的請求）。■所有輸出結果都匹配預測值。■其他一些涉及設計實現(xiàn)細節(jié)的檢查
checker 往往是驗證環(huán)境中最難創(chuàng)建的組件之一，因為驗證工程師必須在checker 中實現(xiàn)端到端的許多DUT功能。這就需要驗證工程師能夠設想所有的輸入場景，以及思考更多完備性地檢查。所以，關于checker，驗證工程師需要經(jīng)常思考一個問題：“如果這個地方有問題，我如何才能發(fā)現(xiàn)？”?
過去，驗證工程師通過手工檢查測試用例執(zhí)行結果并和DUT輸出比較進行功能檢查。隨著設計復雜性的增加，驗證工程師需要在checker中進行自動比對。Checker的輸入和DUT的輸入一樣，即利用來自輸入接口的激勵預測DUT的輸出。因為在一個測試用例中可能存在多個請求，所以checker需要將輸入請求與輸出響應相關聯(lián)起來，以實現(xiàn)保序或者亂序比對。?checker 將預期結果與DUT的實際輸出進行比較。如果結果匹配，則測試用例成功完成。如果結果比較錯誤，checker 將向log日志文件中打印一些定位故障需要的所有相關信息。以下列出了Checker檢查的一些基本的故障類型：■所有請求都接收到了響應（沒有丟失的請求）。■所有輸出結果都匹配預測值。■其他一些涉及設計實現(xiàn)細節(jié)的檢查
下載文檔
