本申请实施例提供一种验证方法及装置、计算机可读存储介质，该方法包括：根据待验证的指令，生成第一测试向量空间；根据N‑wise算法，从所述第一测试向量空间中筛选出第一测试用例集合；利用所述第一测试用例集合中的测试用例，对所述待验证指令进行验证；若对所述待验证指令的验证覆盖率没有达到要求，则根据N‑wise算法，从所述第一测试向量空间中筛选出第二测试用例集合，以对所述待验证指令进行验证。与遍历所有测试用例的方案相比，该方案在项目初期具有验证收敛速度快的优点；与人为的筛选出部分具有代表性的测试用例的方案相比，该方案能够提高指令验证的覆盖率。