Tracabilite Method of verification of raw instructions in a programming language procedural generated from second instructions in a modeling language

The present invention provides a traceability verification process first code instructions in a procedural programming language generated from second code instructions in a modeling language, characterized in that it comprises the implementation by equipment ( 1) steps of: (a) Parsing: ○ first instructions so as to generate an AST, and ○ so as to generate a TDM second instructions; (B) Semantic Analysis: ○ From the AST so as to identify representative units of functional blocks of the first instructions; ○ From MDT in order to identify basic functional blocks characteristic properties of second instructions; (C) Matching pairs of identified elementary functional blocks, and confirmation of traceability of raw code instructions only if: ○ for each block of the first instructions there is a functionally block equivalent of the second instructions, and ○ for each block second instructions there is a functionally equivalent block first instructions.