公开(公告)号：US09081595B1

公开(公告)日：2015-07-14

申请号：US13693413

申请日：2012-12-04

Applicant: The MathWorks, Inc.

Inventor： David Delarue ,  Olga Voronina ,  Claire Treille

IPC: G06F9/445

CPC classification number: G06F11/3664 ,  G06F8/33 ,  G06F9/44589 ,  G06F11/3612 ,  G06F11/3616

Abstract: A device performs a verification analysis of source code, where the verification analysis includes a coding rules check of the source code based on coding standards, and run-time error check of the source code. The device provides, for display, results of the coding rules check of the source code, and provides, for display, results of the run-time error check of the source code. The device provides, for display, from the results of the coding rules check of the source code, at least one of a coding rule error violation associated with the source code, or a coding rule warning violation associated with the source code.

Abstract translation: 设备执行源代码的验证分析，其中验证分析包括基于编码标准的源代码的编码规则检查以及源代码的运行时错误检查。 该设备提供用于显示源代码的编码规则检查的结果，并提供用于显示源代码的运行时错误检查的结果。 该装置提供用于显示来自源代码的编码规则检查的结果，与源代码相关联的编码规则错误违规或与源代码相关联的编码规则警告违例中的至少一个。

公开(公告)号：US09535821B1

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

申请号：US14788638

申请日：2015-06-30

Applicant: The MathWorks, Inc.

Inventor： David Delarue ,  Olga Voronina ,  Claire Treille

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

CPC classification number: G06F11/3664 ,  G06F8/33 ,  G06F9/44589 ,  G06F11/3612 ,  G06F11/3616

Abstract: A device performs a verification analysis of source code, where the verification analysis includes a coding rules check of the source code based on coding standards, and run-time error check of the source code. The device provides, for display, results of the coding rules check of the source code, and provides, for display, results of the run-time error check of the source code. The device provides, for display, from the results of the coding rules check of the source code, at least one of a coding rule error violation associated with the source code, or a coding rule warning violation associated with the source code.

Abstract translation: 设备执行源代码的验证分析，其中验证分析包括基于编码标准的源代码的编码规则检查以及源代码的运行时错误检查。 该设备提供用于显示源代码的编码规则检查的结果，并提供用于显示源代码的运行时错误检查的结果。 该设备提供用于显示来自源代码的编码规则检查的结果，与源代码相关联的编码规则错误违规或与源代码相关联的编码规则警告违例中的至少一个。