-
公开(公告)号：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
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.
-
2.发明授权公开(公告)号：US09619593B1
公开(公告)日：2017-04-11
申请号：US14105876
申请日：2013-12-13
Applicant: The MathWorks, Inc.
Inventor： William J. Aldrich
CPC classification number: G06F17/5009 , G06F17/5022
Abstract: An embodiment includes a computer-readable media storing instructions that when executed on processing logic execute a process for reducing complexity. The media stores instructions for identifying data dependencies in a model having executable semantics, the data dependencies affecting verification of the model and for selecting a location in the model, the location having data dependencies with other locations in the model, the location to be verified when the model is verified. The media also stores instructions for detecting complexities in the model, the complexities related to the selected location and presenting information about a source for at least one of the complexities. The media further stores instructions for eliminating the source for the at least one of the complexities and for transforming the model into an updated model based on the eliminating, the updated model not including the source for the at least one of the complexities.
-
公开(公告)号：US09529697B1
公开(公告)日：2016-12-27
申请号：US13780807
申请日：2013-02-28
Applicant: THE MATHWORKS, INC.
Inventor： William J. Aldrich , Olga Voronina , Zsolt Kalmar
CPC classification number: G06F11/3668 , G06F8/10 , G06F8/40 , G06F9/44589 , G06F11/3466 , G06F11/3664 , G06F11/3676 , G06F11/3688
Abstract: An embodiment can include one or more computer-readable media storing executable instructions that when executed on processing logic process variable signals. The media can store one or more instructions for receiving executable code that includes constructs with variable signals for processing the variable signals, and for performing a coverage measurement on the executable code based on information about one or more of the variable signals processed by the executable code. The media can store one or more instructions for producing a coverage result based on the coverage measurement, the coverage result identifying a degree of coverage for the executable code when the executable code processes the variable signals.
-
公开(公告)号：US10719645B1
公开(公告)日：2020-07-21
申请号：US14958726
申请日：2015-12-03
Applicant: The MathWorks, Inc.
Inventor： Fu Zhang , Zhi Han , Pieter J. Mosterman , William J. Aldrich , Ebrahim Mehran Mestchian , Denizhan N. Alparslan , Richard Hyde
IPC: G06F17/50 , G06F11/36 , G06F30/3323 , G06F8/10
Abstract: A computer-based model having executable semantics may be used to simulate the behavior of a system. A substructure of interest is sliced from the model and analyzed to determine a transformation of the slice while preserving some context of the model. The transformed slice may be further manipulated outside of the model, integrated back into the model in place of the original slice, or used in other ways.
-
公开(公告)号：US10691578B2
公开(公告)日：2020-06-23
申请号：US14461826
申请日：2014-08-18
Applicant: The MathWorks, Inc.
Inventor： William J. Aldrich , Ebrahim Mehran Mestchian , Denizhan N. Alparslan
Abstract: A system and method generates contextual information for a source model. An identification of one or more first model elements of interest within the source model may be received. One or more constraints on inputs of selected model elements also may be received. A scope of analysis regarding outputs of the first model elements may be specified. The contextual information may be derived automatically for the one or more first model elements. The contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis while execution of the source model is limited by the one or more constraints. The derived contextual information may be provided to an output device.
-
Patent Agency Ranking
公开(公告)号：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.
-
公开(公告)号：US20140358507A1
公开(公告)日：2014-12-04
申请号：US14461906
申请日：2014-08-18
Applicant: The MathWorks, Inc.
Inventor： William J. Aldrich , Ebrahim Mehran Mestchian , Denizhan N. Alparslan
IPC: G06F17/50
CPC classification number: G06F11/3664 , G06F8/10 , G06F8/34 , G06F11/3608
Abstract: A system and method generates a contextual model for a source model. The system and method receives a designation of a component of interest in the source model. The system and method analyzes the source model and identifies those model elements within the source model that have an interaction behavior with the component of interest. The system and method includes the component of interest and the model elements having the interaction behavior with the component of interest in the contextual model. The system and method connects the model elements to the component of interest in the context model in a similar manner as in the source model. The context model may be run or evaluated.
Abstract translation: 系统和方法为源模型生成上下文模型。 系统和方法在源模型中接收感兴趣的组件的指定。 系统和方法分析源模型，并识别源模型中与感兴趣组件具有交互行为的模型元素。 系统和方法包括感兴趣的组件，并且模型元素具有与上下文模型中感兴趣的组件的交互行为。 系统和方法以类似于源模型的方式将模型元素连接到上下文模型中感兴趣的组件。 可以运行或评估上下文模型。
-
公开(公告)号：US10657029B2
公开(公告)日：2020-05-19
申请号：US14461906
申请日：2014-08-18
Applicant: The MathWorks, Inc.
Inventor： William J. Aldrich , Ebrahim Mehran Mestchian , Denizhan N. Alparslan
Abstract: A system and method generates a contextual model for a source model. The system and method receives a designation of a component of interest in the source model. The system and method analyzes the source model and identifies those model elements within the source model that have an interaction behavior with the component of interest. The system and method includes the component of interest and the model elements having the interaction behavior with the component of interest in the contextual model. The system and method connects the model elements to the component of interest in the context model in a similar manner as in the source model. The context model may be run or evaluated.
-
公开(公告)号：US20160124827A1
公开(公告)日：2016-05-05
申请号：US14584327
申请日：2014-12-29
Applicant: The MathWorks, Inc.
Inventor： Dixit Manoj Gangadhar , William J. Aldrich , Amogh Margoor , Prahladavaradan Sampath
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: 系统和方法通过创建复合测试目标来扩展模型验证。 复合目标包括两个或多个逻辑或时间上组合的标准或基本测试目标。 选择形成复合测试的基本测试目标可以由系统或方法自动生成，或者可以定制。 复合测试目标代表了一个新的覆盖目标，将模型覆盖率分析扩展到基本测试目标可用的覆盖范围之外。 该系统和方法还自动生成一个或多个用于实现复合目标的测试用例。 测试用例包括模型的输入数据值，并且可能导致基本测试目标的指定逻辑或时间组合在模拟模拟期间或根据时间组合至少一次评估为真。
-
公开(公告)号：US09280324B1
公开(公告)日：2016-03-08
申请号：US14145052
申请日：2013-12-31
Applicant: The MathWorks, Inc.
Inventor： Xiaocang Lin , Aravind Pillarisetti , William J. Aldrich , Kai Tuschner
IPC: G06F9/44
CPC classification number: G06F8/34 , G06F8/10 , G06F8/35 , G06F8/355 , G06F8/73 , G06F11/3664 , G06F11/3688 , G06F11/3696 , G06F17/2241 , G06F17/2264
Abstract: Exemplary embodiments employ a mapping among entities that are related to each other. The entities may include a graphical model, generated code, a generated report, a requirements document and/or an intermediate representation. The mapping may facilitate graphical identifications between parts of one entity that maps to part of another entity. The graphical identification may occur based on a selection of a part in one of the entities.
Abstract translation: 示例性实施例采用彼此相关的实体之间的映射。 实体可以包括图形模型，生成的代码，生成的报告，需求文档和/或中间表示。 该映射可以促进映射到另一实体的一部分的一个实体的部分之间的图形标识。 图形识别可以基于对其中一个实体中的部分的选择来进行。
-
-
-
-
-
-
-
-
-
Search Results
18
records
(took 0.016 seconds)
