本发明涉及一种基于全局约束的锁指令伪随机自比较验证模型的实现方法，包括以下步骤：建立能够被测试情景和测试序列库可见的锁共享结构；按照全局约束生成锁共享结构表，其中锁共享结构表至少包括2个锁共享结构；随机选取一个锁共享结构给核心执行；上锁成功后，对锁共享结构的临界区地址内容和全局临界区变量进行更新；对所述锁共享结构进行释放；当所有核心都完成锁执行操作后，由随机指定一个核心对锁共享结构表中的所有锁共享结构进行遍历检查。本发明解决了现有测试方法中存在的测试激励随机性差、代码繁琐、继承性差、维护困难及测试情景单一等问题，同时实现对测试结果正确性的校验，增加了环境的兼容性。