Method for verifying traceability of first instructions in a procedural programming language generated from second instructions in a modelling language
US10417110B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Aug 3, 2015 |
| Grant date | Sep 17, 2019 |
| Priority date | — |
| Expiry date | Aug 3, 2035 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3608
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
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, characterized 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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.