[发明专利]验证方法及验证装置

说明书

本申请公开了一种验证方法及验证装置。该方法包括：获取第一队列的缓存状态和所述第一队列的属性参数，所述第一队列为配置的待执行的队列；根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得预测队列；比对所述预测队列与实际队列，获得第一比对结果，并输出所述第一比对结果。相应的，还提供了对应的装置。采用本申请，可有效提高系统验证的准确度。

技术领域

本申请涉及计算机技术领域，尤其涉及一种验证方法及验证装置。

背景技术

队列是命令和数据按规定格式打包形成一条条任务，多条任务按规定方法排序组成队列，派发给硬件去执行。

为了确保系统中的硬件能正确的执行这些队列，通常会使用正向验证方法来对系统进行验证，如通过比对队列的实际输出结果与预测的输出结果是否一致来对系统进行验证。

然而，上述正向验证方法只能对结果的一致性进行验证，使得系统验证的准确度较低。

发明内容

本申请提供了一种验证方法及装置，能够有效提高系统验证的准确度。

第一方面，本申请实施例提供了一种验证方法，包括：

获取第一队列的缓存状态和所述第一队列的属性参数，所述第一队列为配置的待执行的队列；

根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得预测队列；

比对所述预测队列与实际队列，获得第一比对结果，并输出所述第一比对结果。

实施本申请实施例，通过对待执行的队列进行预测，获得预测队列，即通过对队列的先后执行顺序进行预测，从而尽可能地避免系统执行过程中出现的异常情况(例如，出现对某个队列的输出值进行预测，但是系统实际执行的队列不是该某个队列的异常情况)对验证结果的影响，进而提高了验证系统的验证准确度；另外，通过比对预测队列与实际队列，可验证验证装置对队列的预测是否准确，从而有助于改进验证装置对系统的验证，使得验证装置的对系统的验证结果更加准确。

结合第一方面，在一种可能的实现方式中，所述获取第一队列的缓存状态和所述第一队列的属性参数之前，所述方法还包括：

监测是否有第二队列的插入；

所述获取第一队列的缓存状态和所述第一队列的属性参数，包括：

在监测到有所述第二队列的插入的情况下，获取所述第一队列的缓存状态和所述第一队列的属性参数。

本申请实施例中，验证装置还可以在监测到有第二队列的插入的情况下，来执行本申请实施例所提供的方法，一方面，避免了所有情况下都要获取第一队列的缓存状态及属性参数，从而有效节省验证装置的功耗损失，另一方面，通过对队列的插入情况进行监测，进一步避免了系统执行过程中可能出现的异常情况，从而提高了预测队列的准确性，提高了系统验证的可信度。

结合第一方面或第一方面的任一种可能的实现方式中，所述根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得预测队列，包括：

在第一队列的缓存状态为缓存空状态的情况下，比对所述第二队列与所述第一队列的优先级，在所述第一队列的优先级大于或等于所述第二队列的优先级的情况下，将所述第一队列确定为所述预测队列。

本申请实施例中，通过第一队列的缓存状态，以及比对第二队列与第一队列的优先级来对待执行的队列进行预测，如第一队列的缓存状态为缓存空状态时，通过对比第二队列和第一队列的优先级来确定系统是否会优先执行第一队列(或第二队列)，如第一队列的优先级大于第二队列，则说明第一队列相对来说比较重要，系统需要预先执行第一队列，从而有效提高了对待执行的队列的预测准确度。