Verification of computer-executable code generated from a model

摘要

In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and or other forms of equivalence between the selected slice and the identified generated code.

主权项

1. One or more tangible non-transitory computer-readable storage media storing instructions, the instructions comprising:
one or more instructions that, when executed by one or more processors, cause the one or more processors to:
slice a model into a plurality of slices,
each slice, of the plurality of slices, including a different portion of the model;select a slice from the plurality of slices;generate a first intermediate representation based on the selected slice;identify a portion of code, in code generated from the model, that corresponds to the selected slice;generate a second intermediate representation based on the portion of code;normalize the first intermediate representation and the second intermediate representation;compare the normalized first intermediate representation with the normalized second intermediate representation; andverify, based on the comparing the normalized first intermediate representation and the normalized second intermediate representation, whether the portion of code is equivalent to the selected slice.