利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

25 条记录 (耗时 0.028 秒)

    Mapping between code coverage and model coverage for a design
    7.
    发明授权
    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
    8.
    发明授权
    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
    9.
    发明授权
    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
    10.
    发明授权
    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.

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