公开(公告)号：US10387585B2

公开(公告)日：2019-08-20

申请号：US14584327

申请日：2014-12-29

Applicant: The MathWorks, Inc.

Inventor： Dixit Manoj Gangadhar ,  William J. Aldrich ,  Amogh Margoor ,  Prahladavaradan Sampath

IPC: G06F11/30 ,  G06F17/50 ,  G06F11/263 ,  G06F11/36

Abstract: A system and method extends model verification through the creation of composite test objectives. A composite objective includes two or more logically or temporally combined standard or basic test objectives. The basic test objectives selected to form a composite test may be automatically generated by the system or method, or they may be custom defined. A composite test objective represents a new coverage objective that extends model coverage analysis beyond the coverage that is available with the basic test objectives. The system and method also automatically generates one or more test cases for achieving the composite objective. The test cases include input data values for the model, and may cause the specified logical or temporal combination of basic test objectives to evaluate to true at least once during simulation of the model or according to the temporal combination.

公开(公告)号：US20160124827A1

公开(公告)日：2016-05-05

申请号：US14584327

申请日：2014-12-29

Applicant: The MathWorks, Inc.

Inventor： Dixit Manoj Gangadhar ,  William J. Aldrich ,  Amogh Margoor ,  Prahladavaradan Sampath

IPC: G06F11/30 ,  G06F17/50 ,  G06F11/34

CPC classification number: G06F17/5009 ,  G06F11/263 ,  G06F11/36 ,  G06F11/3604

Abstract: A system and method extends model verification through the creation of composite test objectives. A composite objective includes two or more logically or temporally combined standard or basic test objectives. The basic test objectives selected to form a composite test may be automatically generated by the system or method, or they may be custom defined. A composite test objective represents a new coverage objective that extends model coverage analysis beyond the coverage that is available with the basic test objectives. The system and method also automatically generates one or more test cases for achieving the composite objective. The test cases include input data values for the model, and may cause the specified logical or temporal combination of basic test objectives to evaluate to true at least once during simulation of the model or according to the temporal combination.

Abstract translation: 系统和方法通过创建复合测试目标来扩展模型验证。 复合目标包括两个或多个逻辑或时间上组合的标准或基本测试目标。 选择形成复合测试的基本测试目标可以由系统或方法自动生成，或者可以定制。 复合测试目标代表了一个新的覆盖目标，将模型覆盖率分析扩展到基本测试目标可用的覆盖范围之外。 该系统和方法还自动生成一个或多个用于实现复合目标的测试用例。 测试用例包括模型的输入数据值，并且可能导致基本测试目标的指定逻辑或时间组合在模拟模拟期间或根据时间组合至少一次评估为真。

公开(公告)号：US11144684B2

公开(公告)日：2021-10-12

申请号：US15499351

申请日：2017-04-27

Applicant: The MathWorks, Inc.

Inventor： Dixit Manoj Gangadhar ,  Prahladavaradan Sampath ,  Janaki Sivaramakrishnan ,  William J. Aldrich ,  Ebrahim Mehran Mestchian

IPC: G06F30/20 ,  G06F30/18

Abstract: A device may analyze, by one or more processors, a model to identify a first set of model elements that are associated with a model element. The device may apply, by the one or more processors, one or more results from an analysis of the model to a first network unit to determine a complexity of the first network unit or a coupling of the first network unit to other model elements of the model. The device may generate, by the one or more processors, a second network unit, representing a second hierarchy of computation, from the first network unit based on the complexity or the coupling. The device may provide, by the one or more processors, the second network unit as a testing unit for testing the model, the second network unit comprising two or more model elements and one or more numeric expressions.