验证环境中的checker 需要检查哪些内容？

[导读]checker收集DUT输出，然后从功能的角度验证了设计是否按照预期工作，而不仅仅只检查输出接口协议的正确性。 checker往往是验证环境中最难创建的组件之一，因为验证工程师必须在checker中实现端到端的许多DUT功能。这就需要验证工程师能够设想所有的输入场景，以及思考更多...

checker 收集DUT输出，然后从功能的角度验证了设计是否按照预期工作，而不仅仅只检查输出接口协议的正确性。

checker 往往是验证环境中最难创建的组件之一，因为验证工程师必须在checker 中实现端到端的许多DUT功能。这就需要验证工程师能够设想所有的输入场景，以及思考更多完备性地检查。

所以，关于checker，验证工程师需要经常思考一个问题：“如果这个地方有问题，我如何才能发现？”

过去，验证工程师通过手工检查测试用例执行结果并和DUT输出比较进行功能检查。随着设计复杂性的增加，验证工程师需要在checker中进行自动比对。Checker的输入和DUT的输入一样，即利用来自输入接口的激励预测DUT的输出。因为在一个测试用例中可能存在多个请求，所以checker需要将输入请求与输出响应相关联起来，以实现保序或者乱序比对。

checker 将预期结果与DUT的实际输出进行比较。如果结果匹配，则测试用例成功完成。如果结果比较错误，checker 将向log日志文件中打印一些定位故障需要的所有相关信息。

以下列出了Checker检查的一些基本的故障类型：

■所有请求都接收到了响应（没有丢失的请求）。

■所有输出结果都匹配预测值。

■其他一些涉及设计实现细节的检查