Disclosed is a random number validation method for a process
arithmetic logic unit instruction. Firstly, according to the length of operands of the arithmetic instruction, a March element sequence is selected, an
operand storage unit is divided, then, the March element sequence is used for carrying out full-permutation filling on an
operand unit, a set of alternative random numbers are generated, secondly, the alternative random numbers are used, an
operand combination is generated according to the arithmetic logical operation instruction format, the generated operand combination is instantiated into arithmetic logical operation instruction codes, an arithmetic logical operation
standard result is generated, and automatic comparison validation is carried out. According to the writing-in and reading-out relation of a
test case, the random numbers are selected in a targeted manner to cover fault codes inconsistent in writing-in and reading-out, a processor is analogized as a storage to be tested, a mature storage test method is introduced into a processor test, pertinence of the random number validation is improved, and the validation cost is reduced at the same time.