| 摘要 |
<p>The present invention relates to a method for detecting execution errors in a program comprising instructions which are interconnected by branches and consist: - either of operations involving an operator acting on operands, - or conditional tests serving to determine the next instruction to be executed, - or destination indications directly giving the next instruction to be executed, the authorised routes through this program being termed legal paths and each execution of the program being termed an executed path, the method consisting in: - determining during compilation, a reference datum, called the signature, for each legal path, by combining predetermined elementary identifiers associated with each instruction, - calculating, during each execution, a variable termed the current signature, assigned to the corresponding executed path, by combining elementary execution identifiers associated with each instruction, - checking whether the current signature belongs to the set of reference signatures, - signalling an execution error if the current signature does not belong to the set of reference signatures, the determination of the reference signatures and the calculation of the current signatures being performed by adding up the binary representations of the elementary identifiers, each of these binary representations being modified before being summed so that it depends on the serial number of the corresponding instruction in the relevant legal path and in the rest of the executed instructions respectively.</p> |
