METHOD FOR VERIFYING TRACEABILITY OF FIRST INSTRUCTIONS IN A PROCEDURAL PROGRAMMING LANGUAGE GENERATED FROM SECOND INSTRUCTIONS IN A MODELLING LANGUAGE

摘要

The present invention concerns a method for verifying traceability of first code instructions in a procedural programming language generated from second code instructions in a modelling language characterised in that it comprises the implementation by a piece of equipment (1) of steps of: (a) Syntactic analysis: o of the first instructions so as to generate an AST and o of the second instructions so as to generate an MDT; (b) Semantic analysis: o Of the AST so as to identify patterns representative of basic functional blocks of the first instructions; o Of the MDT so as to identify characteristic properties of basic functional blocks of the second instructions; (c) Matching pairwise the identified basic functional blocks and confirming the traceability of first code instructions only if: o for each block of the first instructions there is a functionally equivalent block in the second instructions and o for each block of the second instructions there is a functionally equivalent block in the first instructions. Figure