FIELD: computer equipment.
SUBSTANCE: invention relates to the software verification method. In the method, semantic rules for the syntactically controlled definition abstract syntax tree nodes creation, based on the physical equations dimensional homogeneity, implemented in the software source code expressions, complementing with the identifiers natural semantics operation field, represented as the physical quantity dimension, interpreted in the identifier and described by stored in the symbols table one-dimensional integer array, initialized by the identifiers natural semantics values after lexical and syntactic analyses, at that, the specified field is filled automatically depending on the operation with identifiers in this node, during the modified abstract syntactic tree upward walk performance, calculating the natural semantics values in the internal nodes and controlling the software source code expressions correctness conditions fulfillment, based on the identifiers natural semantics values in the symbols table.
EFFECT: technical result consists in the software verification automation.
1 cl, 4 dwg
