一种基于通用化验证平台的指针完备性验证方法

本申请公开了一种基于通用化验证平台的指针完备性验证方法，通过在通用化验证平台的顶层实例化资源记录器；在通用化验证平台运行时，监控与指针管理模块的外部硬件接口直接关联的监测器所捕获的事务包，并将事务包发送至资源记录器；利用资源记录器检查每一次指针的分配与回收操作是否正确执行，得到目标检查结果；在通用化验证平台运行结束、且指针已被完全回收后，对指针池中的指针进行收集与校验，以验证指针池的最终状态与初始状态是否一致，得到目标验证结果；依据目标检查结果和目标验证结果生成指针的完备性验证结果，从而在通用化验证平台中形成了专门对指针管理模块的指针完备性进行验证的方法，缩短了针对指针管理模块的验证周期。