公开(公告)号：US07729891B2

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

申请号：US11145866

申请日：2005-06-06

Applicant: Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

Inventor： Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

IPC: G06F17/00 ,  G06F17/50 ,  G06F11/00

CPC classification number: G06F17/504

Abstract: Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.

Abstract translation: 提供了方法，装置和系统，其能够生成随机回归套件以验证将被制定为优化问题的硬件或软件设计。 使用概率方法的优化问题的解决方案提供了应使用哪组测试规范的信息，以及每个规范应该生成多少个测试。 在一种操作模式中，构建了使用最少数量的测试来实现特定覆盖目标的回归套件。 在另一种操作模式下，构建回归套件，以便在运行固定数量的测试或固定成本时最大化任务覆盖。

公开(公告)号：US20080255813A1

公开(公告)日：2008-10-16

申请号：US12121962

申请日：2008-05-16

Applicant: Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

Inventor： Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

IPC: G06F7/60

CPC classification number: G06F17/504

Abstract: Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.

Abstract translation: 提供了方法，装置和系统，其能够生成随机回归套件以验证将被制定为优化问题的硬件或软件设计。 使用概率方法的优化问题的解决方案提供了应使用哪组测试规范的信息，以及每个规范应该生成多少个测试。 在一种操作模式中，构建了使用最少数量的测试来实现特定覆盖目标的回归套件。 在另一种操作模式下，构建回归套件，以便在运行固定数量的测试或固定成本时最大化任务覆盖。

公开(公告)号：US07865340B2

公开(公告)日：2011-01-04

申请号：US12121962

申请日：2008-05-16

Applicant: Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

Inventor： Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

IPC: G06F17/00 ,  G06F17/50 ,  G06F11/00

CPC classification number: G06F17/504

Abstract: Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.

Abstract translation: 提供了方法，装置和系统，其能够生成随机回归套件以验证将被制定为优化问题的硬件或软件设计。 使用概率方法的优化问题的解决方案提供了应使用哪组测试规范的信息，以及每个规范应该生成多少个测试。 在一种操作模式中，构建了使用最少数量的测试来实现特定覆盖目标的回归套件。 在另一种操作模式下，构建回归套件，以便在运行固定数量的测试或固定成本时最大化任务覆盖。

公开(公告)号：US20070010975A1

公开(公告)日：2007-01-11

申请号：US11145866

申请日：2005-06-06

Applicant: Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

Inventor： Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

IPC: G06F17/10

CPC classification number: G06F17/504

Abstract: Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.

Abstract translation: 提供了方法，装置和系统，其能够生成随机回归套件以验证将被制定为优化问题的硬件或软件设计。 使用概率方法的优化问题的解决方案提供了应使用哪组测试规范的信息，以及每个规范应该生成多少个测试。 在一种操作模式中，构建了使用最少数量的测试来实现特定覆盖目标的回归套件。 在另一种操作模式下，构建回归套件，以便在运行固定数量的测试或固定成本时最大化任务覆盖。