发明名称 |
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. |
申请公布号 |
US8713528(B1) |
申请公布日期 |
2014.04.29 |
申请号 |
US20090559233 |
申请日期 |
2009.09.14 |
申请人 |
CONRAD MIRKO;THORNTON JOEL DAVID;SZPAK PETER;LIN XIAOCANG;THE MATHWORKS, INC. |
发明人 |
CONRAD MIRKO;THORNTON JOEL DAVID;SZPAK PETER;LIN XIAOCANG |
分类号 |
G06F9/44;G06F9/45 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|