验证方法及验证装置制造方法及图纸

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

Verification method and verification device

This application discloses a verification method and a verification device. The method includes: obtaining the caching state of the first queue and the attribute parameters of the first queue, the first queue being the configured queue to be executed; predicting the executed queue according to the caching state of the first queue and the attribute parameters of the first queue, and obtaining the predicted queue; comparing the predicted queue with the predicted queue. The first alignment result is obtained and the first alignment result is output. Corresponding devices are also provided. This application can effectively improve the accuracy of system verification.

【技术实现步骤摘要】
验证方法及验证装置
本申请涉及计算机
，尤其涉及一种验证方法及验证装置。
技术介绍
队列是命令和数据按规定格式打包形成一条条任务，多条任务按规定方法排序组成队列，派发给硬件去执行。为了确保系统中的硬件能正确的执行这些队列，通常会使用正向验证方法来对系统进行验证，如通过比对队列的实际输出结果与预测的输出结果是否一致来对系统进行验证。然而，上述正向验证方法只能对结果的一致性进行验证，使得系统验证的准确度较低。
技术实现思路
本申请提供了一种验证方法及装置，能够有效提高系统验证的准确度。第一方面，本申请实施例提供了一种验证方法，包括：获取第一队列的缓存状态和所述第一队列的属性参数，所述第一队列为配置的待执行的队列；根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得预测队列；比对所述预测队列与实际队列，获得第一比对结果，并输出所述第一比对结果。实施本申请实施例，通过对待执行的队列进行预测，获得预测队列，即通过对队列的先后执行顺序进行预测，从而尽可能地避免系统执行过程中出现的异常情况(例如，出现对某个队列的输出值进行预测，但是系统实际执行的队列不是该某个队列的异常情况)对验证结果的影响，进而提高了验证系统的验证准确度；另外，通过比对预测队列与实际队列，可验证验证装置对队列的预测是否准确，从而有助于改进验证装置对系统的验证，使得验证装置的对系统的验证结果更加准确。结合第一方面，在一种可能的实现方式中，所述获取第一队列的缓存状态和所述第一队列的属性参数之前，所述方法还包括：监测是否有第二队列的插入；所述获取第一队列的缓存状态和所述第一队列的属性参数，包括：在监测到有所述第二队列的插入的情况下，获取所述第一队列的缓存状态和所述第一队列的属性参数。本申请实施例中，验证装置还可以在监测到有第二队列的插入的情况下，来执行本申请实施例所提供的方法，一方面，避免了所有情况下都要获取第一队列的缓存状态及属性参数，从而有效节省验证装置的功耗损失，另一方面，通过对队列的插入情况进行监测，进一步避免了系统执行过程中可能出现的异常情况，从而提高了预测队列的准确性，提高了系统验证的可信度。结合第一方面或第一方面的任一种可能的实现方式中，所述根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得预测队列，包括：在第一队列的缓存状态为缓存空状态的情况下，比对所述第二队列与所述第一队列的优先级，在所述第一队列的优先级大于或等于所述第二队列的优先级的情况下，将所述第一队列确定为所述预测队列。本申请实施例中，通过第一队列的缓存状态，以及比对第二队列与第一队列的优先级来对待执行的队列进行预测，如第一队列的缓存状态为缓存空状态时，通过对比第二队列和第一队列的优先级来确定系统是否会优先执行第一队列(或第二队列)，如第一队列的优先级大于第二队列，则说明第一队列相对来说比较重要，系统需要预先执行第一队列，从而有效提高了对待执行的队列的预测准确度。结合第一方面或第一方面的任一种可能的实现方式中，所述方法还包括：在所述第一队列的优先级小于所述第二队列的优先级的情况下，将所述第二队列确定为所述预测队列。本申请实施例中，通过第一队列的缓存状态，以及比对第二队列与第一队列的优先级来对待执行的队列进行预测，如第一队列的缓存状态为缓存空状态时，通过比对第一队列和第二队列的优先级，如第一队列的优先级小于第二队列的优先级，则说明第二队列相对来说比较重要，系统可能会预先执行第二队列，从而通过对异常情况的预测，提高了对待执行的队列的预测准确度。结合第一方面或第一方面的任一种可能的实现方式中，所述方法还包括：在所述第一队列的缓存状态为缓存满状态的情况下，将所述第二队列确定为所述预测队列。本申请实施例中，在第一队列的缓存状态为缓存满状态的情况下，说明该第一队列处于堵塞状态，因此只要监测到有新的队列(即第二队列)的插入，就可以确定待执行的队列为第二队列，即可将第二队列确定为预测队列，从而进一步考虑了系统可能出现的异常情况，提高了系统验证的准确性。可理解，本申请实施例中，可以在监测到有第二队列的插入的情况下，获取第一队列的缓存状态以及属性参数；还可以在获取到第一队列的缓存状态为缓存满状态的情况下，监测是否有第二队列的插入。本申请实施例对于以上两种实现方式不作限定。因此，所述根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得预测队列，包括：在所述第一队列的缓存状态为缓存满状态的情况下，监测是否有第二队列的插入，在监测到所述第二队列的插入的情况下，将所述第二队列确定为所述预测队列。结合第一方面或第一方面的任一种可能的实现方式中，所述方法还包括：对所述第一队列的输出结果进行预测，得到预测输出结果；比对所述预测输出结果与所述第一队列的实际输出结果，获得第二比对结果，并输出所述第二比对结果。本申请实施例中，既可以通过时序监测方法对队列的先后执行顺序进行预测，还可以通过正向验证的方法对队列的输出结果进行验证，从而进一步提高系统验证的准确度，有助于系统的稳定性。结合第一方面或第一方面的任一种可能的实现方式中，根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得预测队列之前，所述方法还包括：接收选择指令，所述选择指令用于指示是否对所述待执行的队列进行预测；所述根据所述缓存状态以及所述第一队列的属性参数对待执行的队列或任务进行预测，获得预测队列或预测任务，包括：在所述选择指令指示对所述待执行的队列进行预测的情况下，根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得所述预测队列。本申请实施例中，还可以通过选择指令可确定是否执行本申请实施例所提供的对队列的先后顺序进行预测的方法，从而避免增加系统验证的复杂度。第二方面，本申请实施例提供了一种验证装置，包括：获取单元，用于获取第一队列的缓存状态和所述第一队列的属性参数，所述第一队列为配置的待执行的队列；第一预测单元，用于根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得预测队列；第一比对单元，用于比对所述预测队列与实际队列，获得第一比对结果；第一输出单元，用于输出所述第一比对结果。结合第二方面，在一种可能的实现方式中，所述验证装置还包括：监测单元，用于监测是否有第二队列的插入；所述获取单元，具体用于在监测到有所述第二队列的插入的情况下，获取所述第一队列的缓存状态和所述第一队列的属性参数。结合第二方面或第二方面的任一种可能的实现方式中，所述第一预测单元包括：比对子单元，在第一队列的缓存状态为缓存空状态的情况下，用于比对所述第二队列和所述第一队列的优先级；确定子单元，用于在所述第一队列的优先级大于或等于所述第二队列的优先级的情况下，将所述第一队列确定为所述预测队列。结合第二方面或第二方面的任一种可能的实现方式中，所述确定子单元，还用于在所述第一队列的优先级小于所述第二队列的优先级的情况下，将所述第二队列确定为所述预测队列。结合第二方面或第二方面的任一种可能的实现方式中，所述验证装置还包括：确定单元，用于在所述第一队列的缓存状态为缓存满状态的情况下，将所述第二队列确定为所述预测队列本文档来自技高网...

【技术保护点】
1.一种验证方法，其特征在于，包括：获取第一队列的缓存状态和所述第一队列的属性参数，所述第一队列为配置的待执行的队列；根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得预测队列；比对所述预测队列与实际队列，获得第一比对结果，并输出所述第一比对结果。

【技术特征摘要】
1.一种验证方法，其特征在于，包括：获取第一队列的缓存状态和所述第一队列的属性参数，所述第一队列为配置的待执行的队列；根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得预测队列；比对所述预测队列与实际队列，获得第一比对结果，并输出所述第一比对结果。2.根据权利要求1所述的方法，其特征在于，所述获取第一队列的缓存状态和所述第一队列的属性参数之前，所述方法还包括：监测是否有第二队列的插入；所述获取第一队列的缓存状态和所述第一队列的属性参数，包括：在监测到有所述第二队列的插入的情况下，获取所述第一队列的缓存状态和所述第一队列的属性参数。3.根据权利要求2所述的方法，其特征在于，所述根据所述第一队列的缓存状态以及所述第一队列的属性参数对待执行的队列进行预测，获得预测队列，包括：在所述第一队列的缓存状态为缓存空状态的情况下，比对所述第二队列与所述第一队列的优先级，在所述第一队列的优先级大于或等于所述第二队列的优先级的情况下，将所述第一队列确定为所述预测队列。4.根据权利要求3所述的方法，其特征在于，所述方法还包括：在所述第一队列的优先级小于所述第二队列的优先级的情况下，将所述第二队列确定为所述预测队列。5.根据权利要求2-4任一项所述的方法，其特征在于，所述方法还包括：在所述第一队列的缓存状态为缓存满状态的情况下，将所述第二队列确定为所述预测队列。6.根据权利要求1所述的方法，其特征在于，所述方法还包括：对所述第一队列的输出...

【专利技术属性】
技术研发人员：杨贤林，
申请(专利权)人：深圳云天励飞技术有限公司，
类型：发明
国别省市：广东,44