发明授权
- 专利标题: Verification of computer-executable code generated from a model
- 专利标题(中): 从模型生成的计算机可执行代码的验证
-
申请号: US12559233申请日: 2009-09-14
-
公开(公告)号: US08713528B1公开(公告)日: 2014-04-29
- 发明人: Mirko Conrad , Joel David Thornton , Peter Szpak , Xiaocang Lin
- 申请人: Mirko Conrad , Joel David Thornton , Peter Szpak , Xiaocang Lin
- 申请人地址: US MA Natick
- 专利权人: The MathWorks, Inc.
- 当前专利权人: The MathWorks, Inc.
- 当前专利权人地址: US MA Natick
- 代理机构: Harrity & Harrity, LLP
- 主分类号: G06F9/44
- IPC分类号: G06F9/44 ; G06F9/45
摘要:
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.