利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

28 条记录 (耗时 0.024 秒)

    Test postcondition items for automated analysis and test generation
    1.
    发明授权
    Test postcondition items for automated analysis and test generation 有权
    测试后置条件进行自动化分析和测试生成

    公开(公告)号：US07734455B1

    公开(公告)日：2010-06-08

    申请号：US11842135

    申请日：2007-08-21

    申请人： William J. Aldrich

    发明人： William J. Aldrich

    IPC分类号： G06F9/455

    CPC分类号： G06F8/34

    摘要： In one embodiment, a design is verified by creating a graphical model with a graphical modeling tool executing on a computing device. The graphical model may include a plurality of model elements. A postcondition element is coupled to a selected model element of the plurality of model elements. The postcondition element is associated with a desired result. The graphical model is employed to generate an executable form of the design. The executable form of the design and an indication of the desired result are provided to a verification tool, to instruct the verification tool to implement one or more verification scenarios.

    摘要翻译： 在一个实施例中，通过使用在计算设备上执行的图形建模工具创建图形模型来验证设计。 图形模型可以包括多个模型元素。 后置条件元素耦合到多个模型元素中的所选模型元素。 后置条件元素与期望的结果相关联。 图形模型用于生成设计的可执行形式。 将设计的可执行形式和期望结果的指示提供给验证工具，以指示验证工具实现一个或多个验证场景。

    Visual representation of model execution results contributing to a failure condition in a model
    2.
    发明授权
    Visual representation of model execution results contributing to a failure condition in a model 有权
    模型执行结果的可视化表示造成模型中的故障状况

    公开(公告)号：US07720662B1

    公开(公告)日：2010-05-18

    申请号：US11292512

    申请日：2005-12-02

    申请人： William J. Aldrich

    发明人： William J. Aldrich

    IPC分类号： G06F17/50 ,  G06G7/62

    CPC分类号： G06F8/10 ,  G06F11/3692

    摘要： A tool that can be used in connection with a programming or modeling environment is disclosed. The tool can be incorporated into the programming or modeling environment or implemented separately from the programming or modeling environment. The tool receives the execution or simulation results data of the programs or models from the programming or modeling environment, and analyzes the data to provide information on the execution results of the programs or models to a user, such as a programmer and a designer. The information is provided to the user in such a manner that the user can perceive the execution results easily.

    摘要翻译： 公开了可以与编程或建模环境相结合使用的工具。 该工具可以并入编程或建模环境中，或者与编程或建模环境分开实现。 该工具从编程或建模环境接收程序或模型的执行或模拟结果数据，并分析数据，以将程序或模型的执行结果信息提供给用户（如程序员和设计人员）。 以用户可以容易地感知执行结果的方式向用户提供信息。

    Reversed links from graphical diagram representation
    3.
    发明授权
    Reversed links from graphical diagram representation 有权
    从图形图表示反向链接

    公开(公告)号：US09110570B1

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

    申请号：US13268958

    申请日：2011-10-07

    申请人： William J. Aldrich

    发明人： William J. Aldrich

    IPC分类号： G06F3/00 ,  G06F3/0484

    CPC分类号： G06F3/0484 ,  G06F17/5022 ,  G06F17/504 ,  G06F17/505

    摘要： A method includes performing an analysis or synthesis operation on a graphical model representation, producing a report from the analysis or synthesis operation and generating associations representing elements of the graphical model representation with corresponding elements in the report and using these associations as a way to reposition viewer based on actions to the graphical model representation.

    摘要翻译： 一种方法包括对图形模型表示执行分析或合成操作，从分析或合成操作产生报告，并且通过报告中的相应元素生成表示图形模型表示元素的关联，并使用这些关联作为重新定位观察者的方式 基于对图形模型表示的动作。

    Test entities for evaluation and validation of a model
    4.
    发明授权
    Test entities for evaluation and validation of a model 有权
    用于评估和验证模型的测试实体

    公开(公告)号：US08903688B1

    公开(公告)日：2014-12-02

    申请号：US13078353

    申请日：2011-04-01

    申请人： William J. Aldrich ,  Grégoire Hamon ,  Anjali Dattatray Joshi

    发明人： William J. Aldrich ,  Grégoire Hamon ,  Anjali Dattatray Joshi

    IPC分类号： G06F17/50 ,  G06G7/48

    CPC分类号： G06F17/504 ,  G06F17/5009

    摘要： Methods, mediums, and systems are presented herein for evaluating points of observation in a model by validating conditions in the model. A condition is a location in a model which may be either satisfied or unsatisfied by underlying data associated with the condition. Conditions may be placed in an enforced satisfied status or enforced unsatisfied status in order to instruct a verification tool to assume that the condition is satisfied regardless of whether the condition would actually be satisfied by underlying data. A first condition in an enforced satisfied status or an enforced unsatisfied status may be used to determine whether a second condition is satisfied, or whether a second condition satisfiable.

    摘要翻译： 本文介绍了方法，介质和系统，用于通过验证模型中的条件来评估模型中的观测点。 条件是模型中可能与条件相关联的底层数据满足或不满足的位置。 条件可能被置于强制满足状态或强制不满足状态，以指示验证工具假定条件满足，而不管条件是否实际上由基础数据满足。 可以使用强制满足状态或强制不满足状态的第一条件来确定第二条件是否满足，或者第二条件是否可满足。

    Determining model components suitable for verification analysis
    5.
    发明授权
    Determining model components suitable for verification analysis 有权
    确定适合验证分析的模型组件

    公开(公告)号：US08812276B2

    公开(公告)日：2014-08-19

    申请号：US13117936

    申请日：2011-05-27

    申请人： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

    发明人： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

    IPC分类号： G06F17/50 ,  G06F11/36

    CPC分类号： G06F11/3664 ,  G06F8/10 ,  G06F8/34 ,  G06F11/3608

    摘要： 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.

    摘要翻译： 系统和方法为源模型生成上下文信息。 可以接收在源模型中的感兴趣的一个或多个第一模型元素的识别。 也可以接收对所选择的模型元素的输入的一个或多个约束。 可以指定关于第一模型元件的输出的分析范围。 可以为一个或多个第一模型元素自动导出上下文信息。 上下文信息可以包括在分析范围内包含的一个或多个模型元素，信号或状态，而源模型的执行受到一个或多个约束的限制。 导出的上下文信息可以被提供给输出设备。

    Verification and validation system for a graphical model
    7.
    发明授权
    Verification and validation system for a graphical model 有权
    图形模型的验证和验证系统

    公开(公告)号：US08301423B1

    公开(公告)日：2012-10-30

    申请号：US13075693

    申请日：2011-03-30

    申请人： William J. Aldrich ,  Gregoire Hamon

    发明人： William J. Aldrich ,  Gregoire Hamon

    IPC分类号： G06F7/60 ,  G06F17/10

    CPC分类号： G06F17/5009 ,  G06F8/34 ,  G06F2217/04 ,  G06F2217/74

    摘要： A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.

    摘要翻译： 图形建模环境中的验证工具允许图形建模环境中的组件用于定义错误或特殊条件，而不会对模型的最终实现产生不利影响。 在一个示例中，系统呈现图形界面以便于由图形块构建的模型的设计; 接收多个块与验证子系统的关联; 并且执行操作以验证验证子系统中的块不影响验证系统外部的模型的操作。

    System and method for programmatically abstracting model components
    9.
    发明授权
    System and method for programmatically abstracting model components 有权
    用于以模式抽象模型组件的系统和方法

    公开(公告)号：US07558712B1

    公开(公告)日：2009-07-07

    申请号：US11890008

    申请日：2007-08-02

    申请人： William J. Aldrich

    发明人： William J. Aldrich

    IPC分类号： G06F7/60 ,  G06G7/48

    CPC分类号： G06F17/5045

    摘要： A systematic model transformation that replaces individual components of a model that are identified as incompatible with a type of analysis is discussed. The identified incompatible components are replaced with an alternative component or components that is/are simplified to support the analysis being performed. Each simplified component is composed of one or more primitive elements in a construct that approximates the original design behavior and supports the desired analysis technique. The result of the automated abstraction process is an updated model design that has the same fundamental structure as the original model design and can be executed in the same manner as the original model design. Each simplified component may have a configuration setting selectable by a user that enables it to revert to the form of the original component. The resulting updated model can be used to interactively investigate the abstraction and determine its validity and appropriateness.

    摘要翻译： 讨论了替代被识别为与分析类型不兼容的模型的各个组件的系统模型转换。 已识别的不兼容组件被替换为简化为可执行分析的替代组件。 每个简化的组件由构造中的一个或多个原始元素组成，其近似于原始设计行为并支持期望的分析技术。 自动抽象过程的结果是更新的模型设计，具有与原始模型设计相同的基本结构，并且可以以与原始模型设计相同的方式执行。 每个简化组件可以具有可由用户选择的配置设置，使其能够恢复为原始组件的形式。 所得到的更新模型可用于交互式地调查抽象并确定其有效性和适用性。