公开(公告)号：US09612806B2

公开(公告)日：2017-04-04

申请号：US14475302

申请日：2014-09-02

Applicant: THE MATHWORKS, INC.

Inventor： Mirko Conrad ,  Xiaocang Lin ,  Jun Yan ,  Peter S. Szpak ,  Appa Rao Nirakh ,  Jayaprabha Shankar

IPC: G06F9/44 ,  G06F9/45 ,  G06F11/36

CPC classification number: G06F8/35 ,  G06F11/3604

Abstract: 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.

公开(公告)号：US09158654B1

公开(公告)日：2015-10-13

申请号：US13904749

申请日：2013-05-29

Applicant: The MathWorks, Inc.

Inventor： Joel David Thornton ,  Matthew J. Englehart ,  Jun Yan

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3608 ,  G06F8/35 ,  G06F11/3604

Abstract: 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.

Abstract translation: 代码验证工具验证从模型生成的代码是否表示模型的所有功能，并且不包含任何非预期的功能。 代码验证工具可以接收用于检查模型的模型或中间表示（IR）以及生成的代码或生成的代码的中间表示。 代码验证工具可以创建模型和/或生成的代码的进一步的中间表示，以便比较两者中呈现的功能。

公开(公告)号：US20140380269A1

公开(公告)日：2014-12-25

申请号：US14475302

申请日：2014-09-02

Applicant: THE MATHWORKS, INC.

Inventor： Mirko Conrad ,  Xiaocang Lin ,  Jun Yan ,  Peter S. Szpak ,  Appa rao Nirakh ,  Jayaprabha Shankar

IPC: G06F9/44

CPC classification number: G06F8/35 ,  G06F11/3604

Abstract: 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.

Abstract translation: 在一个实施例中，将模型切成多个切片。 选择多个切片中的切片。 根据从模型生成的代码来识别对应于所选切片的一部分代码。 所识别的代码被验证为等同于所选择的切片。 等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。