利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

25 条记录 (耗时 0.025 秒)

    Mapping between code coverage and model coverage for a design
    2.
    发明授权
    Mapping between code coverage and model coverage for a design 有权
    映射代码覆盖率和设计模型覆盖率

    公开(公告)号：US08423345B1

    公开(公告)日：2013-04-16

    申请号：US13534648

    申请日：2012-06-27

    申请人： William J. Aldrich ,  Mirko Conrad

    发明人： William J. Aldrich ,  Mirko Conrad

    IPC分类号： G06F9/45

    CPC分类号： G06F8/10 ,  G06F11/3676 ,  G06F11/3684

    摘要： Coverage data may be collected for a model. The coverage data may include model coverage data and code coverage data for test cases input to the model. The coverage data may be presented to a user as data indicating a correspondence between coverage outcomes for the model and coverage outcomes for the code used to implement the model.

    摘要翻译： 可以为模型收集覆盖数据。 覆盖数据可以包括用于输入到模型的测试用例的模型覆盖数据和代码覆盖数据。 覆盖数据可以作为指示模型的覆盖结果与用于实现模型的代码的覆盖结果之间的对应关系的数据呈现给用户。

    Mapping between code coverage and model coverage for a design
    3.
    发明授权
    Mapping between code coverage and model coverage for a design 有权
    映射代码覆盖率和设计模型覆盖率

    公开(公告)号：US08234105B1

    公开(公告)日：2012-07-31

    申请号：US11970684

    申请日：2008-01-08

    申请人： William J. Aldrich ,  Mirko Conrad

    发明人： William J. Aldrich ,  Mirko Conrad

    IPC分类号： G06F9/45

    CPC分类号： G06F8/10 ,  G06F11/3676 ,  G06F11/3684

    摘要： Coverage data may be collected for a model. The coverage data may include model coverage data and code coverage data for test cases input to the model. The coverage data may be presented to a user as data indicating a correspondence between coverage outcomes for the model and coverage outcomes for the code used to implement the model.

    摘要翻译： 可以为模型收集覆盖数据。 覆盖数据可以包括用于输入到模型的测试用例的模型覆盖数据和代码覆盖数据。 覆盖数据可以作为指示模型的覆盖结果与用于实现模型的代码的覆盖结果之间的对应关系的数据呈现给用户。

    Test precondition items for automated analysis and test generation
    4.
    发明授权
    Test precondition items for automated analysis and test generation 有权
    测试前提条件，用于自动化分析和测试生成

    公开(公告)号：US07680632B1

    公开(公告)日：2010-03-16

    申请号：US11096528

    申请日：2005-03-31

    申请人： William J. Aldrich

    发明人： William J. Aldrich

    IPC分类号： G06F17/50

    CPC分类号： G06F8/34

    摘要： The present invention provides methods and systems for using a design element in a graphical model to represent and identify a precondition for use by a verification tool in verifying an executable form of the design represented by the graphical model. The precondition design element provides a specification of a verification constraint without affecting the behavior of the design. The constraint is to be applied by the verification tool in verifying the design. As such, the precondition design element of the present invention provides a mechanism and formalism in a model-based design approach that is used to constrain automatically generated tests or verification of the design represented by the graphical model.

    摘要翻译： 本发明提供了用于在图形模型中使用设计元素来表示和识别由验证工具用于验证由图形模型表示的设计的可执行形式的前提条件的方法和系统。 前提条件设计元素提供了验证约束的规范，而不影响设计的行为。 验证工具应用该约束来验证设计。 因此，本发明的前提条件设计元素在基于模型的设计方法中提供了一种机制和形式，其用于约束自动生成的测试或由图形模型表示的设计的验证。

    Test postcondition items for automated analysis and test generation
    5.
    发明授权
    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
    6.
    发明授权
    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.

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

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

    公开(公告)号：US07974823B1

    公开(公告)日：2011-07-05

    申请号：US12762146

    申请日：2010-04-16

    申请人： 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.

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

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

    公开(公告)号：US07729894B1

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

    申请号：US11433611

    申请日：2006-05-12

    申请人： William J. Aldrich

    发明人： William J. Aldrich

    IPC分类号： G06F9/455

    CPC分类号： G06F8/34

    摘要： The present invention provides methods and systems for using a element in a graphical model to represent and identify a postcondition for use by a verification tool in verifying an executable form of the design represented by the graphical model. The postcondition element comprises desired result for verification without affecting the behavior of the design. The desired result is to be achieved or tested for in verifying the design. As such, the postcondition element of the present invention provides a mechanism and formalism in a model-based design approach that is used to direct automatically generated tests or verification of the design represented by the graphical model.

    摘要翻译： 本发明提供了用于在图形模型中使用元素的方法和系统，以表示和识别验证工具在验证由图形模型表示的设计的可执行形式中使用的后置条件。 后置条件元素包括所需的验证结果，而不影响设计的行为。 在验证设计时要实现或测试所需的结果。 因此，本发明的后置条件元件在基于模型的设计方法中提供了一种机制和形式，其用于引导由图形模型表示的设计的自动生成的测试或验证。