公开(公告)号：US09436442B1

公开(公告)日：2016-09-06

申请号：US14097942

申请日：2013-12-05

Applicant: The MathWorks, Inc.

Inventor： Kiran Kintali ,  Anand Krishnamoorthi ,  Srinivas Muddana ,  Richard M. McKeever

IPC: G06F9/44 ,  H03M7/24

CPC classification number: G06F8/35 ,  G06F8/40 ,  H03M7/24 ,  H03M7/28

Abstract: A method and system for enabling a designer to more easily convert a model of a dynamic system instantiated using floating-point representation such as has been created in a high level design language to fixed-point code suitable for execution in a programmable processor or logic array.

Abstract translation: 一种用于使设计者能够更容易地将使用诸如已经以高级设计语言创建的浮点表示实例化的动态系统的模型转换成适于在可编程处理器或逻辑阵列中执行的定点代码的方法和系统 。

公开(公告)号：US09292419B1

公开(公告)日：2016-03-22

申请号：US14290042

申请日：2014-05-29

Applicant: The MathWorks, Inc.

Inventor： Kiran K. Kintali ,  Anand Krishnamoorthi ,  Ebrahim Mestchian ,  Richard M. McKeever

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3676 ,  G06F8/75 ,  G06F11/3608

Abstract: A device receives code for a technical computing environment, and receives conditions for executing the code. The device performs a static analysis of the code, based on the conditions, to generate static analysis information for the code, and executes the code in the technical computing environment based on the conditions. 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 compares the static analysis information and the coverage information to determine confidence information associated with the coverage information, and outputs or stores the coverage information and the confidence information.

Abstract translation: 设备接收技术计算环境的代码，并且接收执行代码的条件。 该设备根据条件执行代码的静态分析，以生成代码的静态分析信息，并根据条件在技术计算环境中执行代码。 设备确定与执行代码相关联的覆盖信息，其中覆盖信息提供与执行代码相关联的完整性的度量。 设备比较静态分析信息和覆盖信息以确定与覆盖信息相关联的置信度信息，并输出或存储覆盖信息和置信度信息。

公开(公告)号：US09058424B1

公开(公告)日：2015-06-16

申请号：US13662713

申请日：2012-10-29

Applicant: The MathWorks, Inc.

Inventor： Joseph R Bienkowski ,  David M. Saxe ,  Richard M. McKeever ,  John E. Booker ,  Andrew T. Campbell

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3668 ,  G06F11/3684

Abstract: A computing device may obtain usage information relating to an execution of a function within code. The usage information may include a set of input values and an output value obtained based on executing the function using the set of input values. The computing device may further determine that the function has been executed a particular quantity of times using the set of input values and obtaining the output value, and may generate a unit test, for the function, based on determining that the function has been executed the particular quantity of times using the set of input values and obtaining the output value.

Abstract translation: 计算装置可以获得与代码内的功能的执行有关的使用信息。 使用信息可以包括一组输入值和基于使用该组输入值执行功能而获得的输出值。 计算设备还可以使用该组输入值进一步确定功能已经被执行了特定次数并且获得输出值，并且可以基于确定该功能已被执行而为该功能生成单元测试 使用该组输入值的特定次数并获得输出值。