公开(公告)号：US09223595B2

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

申请号：US13705647

申请日：2012-12-05

Applicant: The MathWorks, Inc.

Inventor： Andrew T. Campbell ,  Gerhard P. Stoeckel ,  David M. Saxe ,  Gregory V. Aloe ,  Ajay B. Puvvala ,  David Hruska

IPC: G06F17/30 ,  G06F9/455

CPC classification number: G06F9/455 ,  G06F17/30985

Abstract: A device receives a first result that includes first data, and a second result that includes second data, and determines whether a comparator supports the first data and the second data. When the comparator supports the first data and the second data, the device utilizes the comparator to select comparison logic for the first data of the first result and for the second data of the second result, compares the first result and the second result, using the selected comparison logic, to determine whether the first result is equivalent to the second result, and outputs or stores the determination of whether the first result is equivalent to the second result.

Abstract translation: 设备接收包括第一数据的第一结果和包括第二数据的第二结果，并且确定比较器是支持第一数据还是第二数据。 当比较器支持第一数据和第二数据时，器件利用比较器选择第一个结果的第一个数据的比较逻辑，第二个结果的第二个数据比较第一个结果和第二个结果，使用 选择比较逻辑，以确定第一结果是否等于第二结果，并且输出或存储第一结果是否等于第二结果的确定。

公开(公告)号：US09117029B2

公开(公告)日：2015-08-25

申请号：US13705578

申请日：2012-12-05

Applicant: The MathWorks, Inc.

Inventor： Andrew T. Campbell ,  David M. Saxe ,  Gregory V. Aloe ,  Jeremy B. Nersasian

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3692 ,  G06F11/366

Abstract: A device receives code generated via a technical computing environment (TCE), performs a test on the code to generate a test result, and generates test information based on the performance of the test on the code. The device outputs or stores the test result, and receives, based on the test result, a request for a diagnostic analysis of the code. The device performs, based on the request, the test information, and at least one diagnostic, a diagnostic analysis of the code to generate a diagnostic result, and outputs or stores the diagnostic result.

Abstract translation: 设备接收通过技术计算环境（TCE）生成的代码，对代码执行测试以生成测试结果，并根据代码测试的性能生成测试信息。 设备输出或存储测试结果，并根据测试结果接收代码诊断分析请求。 该装置根据请求执行测试信息以及至少一个诊断诊断分析，以生成诊断结果，并输出或存储诊断结果。

公开(公告)号：US09064053B2

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

申请号：US13705643

申请日：2012-12-05

Applicant: The MathWorks, Inc.

Inventor： Andrew T. Campbell ,  David M. Saxe ,  Gregory V. Aloe ,  Gerhard P. Stoeckel

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3684

Abstract: A device receives code generated via a technical computing environment (TCE), where the code includes one or more values to be tested. The device receives Boolean constraints and diagnostic information, and generates a test based on the Boolean constraints and the diagnostic information. The device performs the test on the one or more values of the code to generate a result, and outputs or stores the result.

Abstract translation: 设备接收通过技术计算环境（TCE）生成的代码，其中代码包括要测试的一个或多个值。 该设备接收布尔约束和诊断信息，并根据布尔约束和诊断信息生成测试。 设备对代码的一个或多个值执行测试以生成结果，并输出或存储结果。