Invention Grant
US08856726B2 Verification of computer-executable code generated from a slice of a model
有权
验证从一个模型片生成的计算机可执行代码
- Patent Title: Verification of computer-executable code generated from a slice of a model
- Patent Title (中): 验证从一个模型片生成的计算机可执行代码
-
Application No.: US13250590Application Date: 2011-09-30
-
Publication No.: US08856726B2Publication Date: 2014-10-07
- Inventor: Mirko Conrad , Xiaocang Lin , Jun Yan , Peter Szpak , Appa Rao Nirakh , Jaya Shankar
- Applicant: Mirko Conrad , Xiaocang Lin , Jun Yan , Peter Szpak , Appa Rao Nirakh , Jaya Shankar
- Applicant Address: US MA Natick
- Assignee: The Mathworks, Inc.
- Current Assignee: The Mathworks, Inc.
- Current Assignee Address: US MA Natick
- Agency: Harrity & Harrity, LLP
- Main IPC: G06F9/44
- IPC: G06F9/44
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.
Public/Granted literature
- US20120254827A1 VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL Public/Granted day:2012-10-04
Information query
