Instruction verification method, device, storage medium and program product

Abstract

This disclosure relates to the field of instruction verification technology, and in particular provides an instruction verification method, device, storage medium, and program product. The method includes: invoking a preset verification model to obtain standard reference logs for test cases corresponding to the instruction under test; generating a log document file based on the standard reference logs; establishing a correspondence between the log document file and the instruction under test based on instruction information; generating a storage tool for storing test results of the test cases based on the log document file; executing the target test case, and, through the correspondence, invoking the storage tool corresponding to the instruction under test in the target test case to store the execution results of the target test case; and obtaining the coverage of the instruction under test in the target test case based on the execution results. This solution achieves automatic capture of the coverage of the instruction under test. As the set of instructions under test expands, there is no need to manually add or modify the code for obtaining the coverage, thus improving verification efficiency.

Images