公开(公告)号：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.

公开(公告)号：US09274928B1

公开(公告)日：2016-03-01

申请号：US14230218

申请日：2014-03-31

Applicant: THE MATHWORKS, INC.

Inventor： Mirko Conrad ,  Joel Thornton ,  Peter S. Szpak ,  Xiaocang Lin

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.

公开(公告)号：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: 在一个实施例中，将模型切成多个切片。 选择多个切片中的切片。 根据从模型生成的代码来识别对应于所选切片的一部分代码。 所识别的代码被验证为等同于所选择的切片。 等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。

公开(公告)号：US08583414B1

公开(公告)日：2013-11-12

申请号：US13853163

申请日：2013-03-29

Applicant: The Mathworks, Inc.

Inventor： William J. Aldrich ,  Mirko Conrad

IPC: G06F9/45

CPC classification number: G06F8/10 ,  G06F11/3676 ,  G06F11/3684

Abstract: Coverage data may be collected for a model. The coverage data may include model coverage data and code coverage data for test cases input to the model. The coverage data may be presented to a user as data indicating a correspondence between coverage outcomes for the model and coverage outcomes for the code used to implement the model.