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