Code specification checking method and device

Abstract

The invention relates to the technical field of computers, and provides a code specification checking method which comprises the steps that source codes to be checked are converted into lexical unit streams, and the lexical unit streams comprise different types of lexical units conforming to the lexical corresponding to the source codes; based on a grammar corresponding to a source code, performing a shift-in reduction operation on the lexical unit stream, and in the shift-in reduction operation process, generating a binary tree for a target statement output by reduction, the target statement being defined based on the grammar corresponding to the source code; and checking the target statement based on the binary tree according to a rule defined in a to-be-checked specification. According to the method, the binary tree is generated only for the target statement reduced according to the grammar, and in the process of performing standard checking on the corresponding target statement based on the binary tree, compared with a traditional syntax tree, the data storage amount is reduced, the code standard checking time is shortened, and the standard checking efficiency is improved.