公开(公告)号：US08745586B1

公开(公告)日：2014-06-03

申请号：US13682026

申请日：2012-11-20

Applicant: The MathWorks, Inc.

Inventor： David M. Boissy

IPC: G06F9/44

CPC classification number: G06F11/368 ,  G06F8/71

Abstract: A system facilitates verification of computer code. The system receives multiple versions of the computer code. A code verification engine checks the received code against one or more metrics, such as coding standard violations. A code differencing compares the received versions of computer code, and identifies the differences between them. An interactive presentation unit presents one or more analysis reports regarding coding violations located in the received versions. An analysis report includes a plurality of entries hierarchically organized in conformance with the entities of the received code. The analysis report indicates the number of coding violations identified for the entities of the received code in a side-by-side, comparative arrangement. A user can thus compare the number of coding violations present in the received versions.

Abstract translation: 系统便于验证计算机代码。 系统接收多个版本的计算机代码。 代码验证引擎根据一个或多个度量来检查接收到的代码，例如编码标准违规。 代码差异比较接收到的计算机代码版本，并识别它们之间的差异。 交互式演示单元提供关于位于接收到的版本中的编码违例的一个或多个分析报告。 分析报告包括按照所接收的代码的实体分层组织的多个条目。 分析报告指出了并排的比较安排中为接收的代码的实体确定的编码违例的数量。 因此，用户可以比较接收到的版本中存在的编码违例的数量。

公开(公告)号：US09146838B2

公开(公告)日：2015-09-29

申请号：US13908136

申请日：2013-06-03

Applicant: The MathWorks, Inc.

Inventor： David M. Boissy ,  Barton D. Addis ,  William J. Aldrich ,  Stacey Gage ,  George Quievryn

IPC: G06F17/50 ,  G06F11/00 ,  G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3664

Abstract: A device receives code that is an executable representation of a dynamic system that includes a behavior that changes over time, and executes one or more portions of the code. The device determines coverage information associated with the executing code, where the coverage information provides a measure of completeness associated with the executing code. The device receives a selected option for displaying the coverage information, and provides for display a time-based view of the coverage information based on the selected option. The device permits a user to manipulate one or more time periods associated with the time-based view.

Abstract translation: 设备接收作为动态系统的可执行表示的代码，该动态系统包括随时间变化的行为，并且执行代码的一个或多个部分。 设备确定与执行代码相关联的覆盖信息，其中覆盖信息提供与执行代码相关联的完整性的度量。 设备接收用于显示覆盖信息的所选择的选项，并且基于所选择的选项提供显示覆盖信息的基于时间的视图。 该设备允许用户操纵与基于时间的视图相关联的一个或多个时间段。

公开(公告)号：US09489290B1

公开(公告)日：2016-11-08

申请号：US14072515

申请日：2013-11-05

Applicant: The MathWorks, Inc.

Inventor： David M. Boissy ,  John E. Ciolfi

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3688

Abstract: Disclosed herein are tools and methods for selecting and scheduling executable test program the use in testing, evaluating, monitoring, and analyzing an executable test program or any portion thereof. The tools and methods disclosed can analyze an executable test program developed in a text based programming language environment and an executable test program developed in a graphical modeling based programming environment. The tools and methods identify and analyze the quantitative measures of an executable test program and compute one or more scores for the executable test program. The tools and methods can use the scores computed to rank and order the executable test programs for execution to test an executable program or any portion thereof.

Abstract translation: 这里公开了用于选择和调度可执行测试程序的用于测试，评估，监视和分析可执行测试程序或其任何部分的工具和方法。 所公开的工具和方法可以分析在基于文本的编程语言环境中开发的可执行测试程序和在基于图形建模的编程环境中开发的可执行测试程序。 工具和方法识别和分析可执行测试程序的定量测量，并计算可执行测试程序的一个或多个分数。 这些工具和方法可以使用计算出的分数对可执行测试程序进行排序和排序以执行以测试可执行程序或其任何部分。