The invention discloses a code
verification method and device of a
train operation
control system, equipment, a medium and a product, and relates to the technical field of
network security, and the method comprises the steps: carrying out the semantic analysis of a
network security demand
specification document, extracting the
network security demand structured information, and determining a target code
verification strategy according to the network security demand structured information; determining an assertion specification and a code
insertion position of the assertion specification according to the target code
verification strategy and the network security demand structured information, and inserting the assertion specification into the original
network communication code according to the code
insertion position to obtain a to-be-verified
network communication code; and verifying the to-be-verified
network communication code by using the target code verification tool according to the assertion specification to obtain a code verification result. According to the invention, the code level verification effect on the network communication code of the
train operation
control system is realized, the network security of the
train operation
control system is improved, and the possibility of occurrence of network potential safety hazards is reduced.