The Mathworks, Inc.

Jun Yan

Peter S Szpak

Xiaocang Lin

Mirko Conrad

Appa Rao Nirakh

Jaya Shankar

Matthew J Englehart

Joel Thornton

Jayaprabha Shankar

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.

Verification of computer-executable code generated from a model

A code verification tool verifies that code generated from a model represents all of the functionality of the model and does not contain any unintended functionality. The code verification tool may receive for examination a model or an intermediate representation (IR) of the model and the generated code or an intermediate representation of the generated code. The code verification tool may create further intermediate representations of the model and/or the generated code in order to compare the functionality presented in both.

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.

Using intermediate representations to verify computer-executable code generated from a model

Verification of computer-executable code generated from a slice of a model

Growing community of inventors

Westborough, MA, United States of America

Jun Yan