公开(公告)号：US5995915A

公开(公告)日：1999-11-30

申请号：US790460

申请日：1997-01-29

申请人： David F. Reed ,  Adnan A. Hamid

发明人： David F. Reed ,  Adnan A. Hamid

IPC分类号： G01R31/3183 ,  G01R31/28

CPC分类号： G01R31/318314 ,  G01R31/318307

摘要： A method and apparatus capable of generating and executing large numbers of functional tests for complex digital electronic systems at low cost are presented. The apparatus includes a test generator which uses a decision tree representation of a verification space, derived from a functional specification of the digital electronic system, to generate functional tests. A decision tree representation of a verification space includes an initial goal node, a leaf goal node, and at least one intermediate goal node interconnected by a plurality of directed decision arcs formed between the initial goal node and the leaf goal node. Goal plans assigned to goal nodes include operations which generate functional tests. Functional tests are generated by recursively "walking" the decision tree, the choices of which goal node to visit next being made at random and according to decision weights assigned to each goal node. The decision weights assigned to each goal node in the decision tree may be adjusted to ensure all portions of the verification space are adequately tested. A testing system issues functional tests to both a golden device and a device under test. The testing system compares expected responses from the golden unit to responses from device under test and produces functional test results. Specialized structures called monitors ensure sets of functional tests (i.e., functional test suites) exercise all parts of a system implementation.

摘要翻译： 提出了能够以低成本为复杂数字电子系统生成和执行大量功能测试的方法和装置。 该装置包括测试发生器，其使用从数字电子系统的功能规范导出的验证空间的决策树表示，以产生功能测试。 验证空间的决策树表示包括初始目标节点，叶目标节点和由初始目标节点和叶目标节点之间形成的多个定向决策弧互连的至少一个中间目标节点。 分配给目标节点的目标计划包括生成功能测试的操作。 功能测试是通过递归地“走”决策树生成的，随后根据分配给每个目标节点的决策权重，随机选择要访问的目标节点的选择。 可以调整分配给决策树中每个目标节点的决策权重，以确保验证空间的所有部分得到充分测试。 测试系统向黄金设备和被测设备发出功能测试。 测试系统将来自黄金单位的预期响应与被测器件的响应进行比较，并产生功能测试结果。 称为监视器的专用结构确保功能测试（即，功能测试套件）运行系统实施的所有部分。

公开(公告)号：US06195616B1

公开(公告)日：2001-02-27

申请号：US09390826

申请日：1999-09-07

申请人： David F. Reed ,  Adnan A. Hamid

发明人： David F. Reed ,  Adnan A. Hamid

IPC分类号： G01R3128

CPC分类号： G01R31/318314 ,  G01R31/318307 ,  G01R31/3193

摘要： A method and apparatus capable of generating and executing large numbers of functional tests for complex digital electronic systems at low cost are presented. The apparatus includes a test generator which uses a decision tree representation of a verification space, derived from a functional specification of the digital electronic system, to generate functional tests. A decision tree representation of a verification space includes an initial goal node, a leaf goal node, and at least one intermediate goal node interconnected by a plurality of directed decision arcs formed between the initial goal node and the leaf goal node. Goal plans assigned to goal nodes include operations which generate functional tests. Functional tests are generated by recursively “walking” the decision tree, the choices of which goal node to visit next being made at random and according to decision weights assigned to each goal node. The decision weights assigned to each goal node in the decision tree may be adjusted to ensure all portions of the verification space are adequately tested. A testing system issues functional tests to both a golden device and a device under test. The testing system compares expected responses from the golden unit to responses from device under test and produces functional test results. Specialized structures called monitors ensure sets of functional tests (i.e., functional test suites) exercise all parts of a system implementation.

摘要翻译： 提出了能够以低成本为复杂数字电子系统生成和执行大量功能测试的方法和装置。 该装置包括测试发生器，该测试发生器使用从数字电子系统的功能规范导出的验证空间的决策树表示，以产生功能测试。 验证空间的决策树表示包括初始目标节点，叶目标节点和由初始目标节点和叶目标节点之间形成的多个定向决策弧互连的至少一个中间目标节点。 分配给目标节点的目标计划包括生成功能测试的操作。 功能测试是通过递归地“走”决策树生成的，随后根据分配给每个目标节点的决策权重，随机选择要访问的目标节点的选择。 可以调整分配给决策树中每个目标节点的决策权重，以确保验证空间的所有部分得到充分测试。 测试系统向黄金设备和被测设备发出功能测试。 测试系统将来自黄金单位的预期响应与被测器件的响应进行比较，并产生功能测试结果。 称为监视器的专用结构确保功能测试（即，功能测试套件）运行系统实施的所有部分。

公开(公告)号：US07823100B1

公开(公告)日：2010-10-26

申请号：US11853390

申请日：2007-09-11

申请人： Adnan A. Hamid ,  Arthur D. Flatau

发明人： Adnan A. Hamid ,  Arthur D. Flatau

IPC分类号： G06F17/50

CPC分类号： G06F11/3676 ,  G06F11/263 ,  G06F11/3684

摘要： A method, system and apparatus for constructing a comprehensive test plan for a design under test (DUT) using a case analysis graph is provided. Embodiments of the present invention provide for automatically generating test cases of the test plan from the case analysis graph by traversing paths through the case analysis graph to select a sequence of components to be exercised by a DUT. Selection of the components is constrained by one or more rules. The rules, in aspects of the invention, provide for selection of specified components to be included in the sequence of components.

摘要翻译： 提供了一种使用案例分析图来构建被测设计（DUT）综合测试计划的方法，系统和装置。 本发明的实施例提供了通过案例分析图通过遍历路径从案例分析图自动生成测试计划的测试用例，以选择由DUT执行的组件序列。 组件的选择受一个或多个规则约束。 在本发明的方面，规则提供了要包括在组件序列中的指定组件的选择。

公开(公告)号：US07779374B1

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

申请号：US11842307

申请日：2007-08-21

申请人： Adnan A. Hamid ,  Arthur D. Flatau

发明人： Adnan A. Hamid ,  Arthur D. Flatau

IPC分类号： G06F17/50

CPC分类号： G06F11/3676 ,  G06F11/263 ,  G06F11/3684

摘要： A method, system and apparatus for constructing a comprehensive test plan using a case analysis graph is provided. Embodiments of the present invention further provide for automatically generating test cases from a case analysis graph and for measuring functional coverage of the test cases. Additional embodiments of the present invention provide for visualizing both the comprehensive test plan and functional coverage data.

摘要翻译： 提供了一种使用案例分析图构建综合测试计划的方法，系统和设备。 本发明的实施例还提供了用于根据案例分析图自动生成测试用例并测量测试用例的功能覆盖。 本发明的另外的实施例提供了综合测试计划和功能覆盖数据的可视化。

公开(公告)号：US07849425B1

公开(公告)日：2010-12-07

申请号：US11853501

申请日：2007-09-11

申请人： Adnan A. Hamid ,  Arthur D. Flatau

发明人： Adnan A. Hamid ,  Arthur D. Flatau

IPC分类号： G06F17/50 ,  G06F9/45

CPC分类号： G06F11/3676 ,  G06F11/263 ,  G06F11/3684

摘要： A method, system and apparatus for constructing a comprehensive test plan for a design under test (DUT) using a hierarchy of goals to generate test cases are provided. Embodiments of the present invention provide for automatically generating a first test case of the test plan from the goal hierarchy by traversing a path from a starting goal to an ending goal, wherein a first goal in the path has a first definition for one or more of a slot and a method. The ending goal of will then assume the first definition of the slot or method, as needed. A further aspect of the invention is generating a second test case by traversing a second path through the hierarchy. If the second path involves traversing a second goal with a second definition of the slot or method, then the ending goal will assume the second definition of the slot or method, as needed.

摘要翻译： 提供了一种用于使用目标层次来构建被测设计（DUT）的综合测试计划以生成测试用例的方法，系统和装置。 本发明的实施例提供了通过遍历从起始目标到结束目标的路径从目标层级自动生成测试计划的第一测试用例，其中路径中的第一目标具有第一定义， 一个插槽和一个方法。 然后，根据需要，结束目标将假定槽或方法的第一个定义。 本发明的另一方面是通过遍历层次结构的第二路径来生成第二测试用例。 如果第二路径涉及用槽或方法的第二定义遍历第二目标，则结束目标将根据需要假定槽或方法的第二定义。

公开(公告)号：US07360184B1

公开(公告)日：2008-04-15

申请号：US11145646

申请日：2005-06-06

申请人： Adnan A. Hamid

发明人： Adnan A. Hamid

IPC分类号： G06F17/50

CPC分类号： G01R31/318314 ,  G01R31/318342 ,  G01R31/318371 ,  G06F11/263

摘要： A method of describing a set of tests capable of being performed on a device under test (DUT) is disclosed. The method includes identifying a scenario space of the DUT.

摘要翻译： 公开了一种描述能够在被测设备（DUT）上执行的一组测试的方法。 该方法包括识别DUT的场景空间。

公开(公告)号：US06968285B1

公开(公告)日：2005-11-22

申请号：US10411067

申请日：2003-04-09

申请人： Adnan A. Hamid

发明人： Adnan A. Hamid

IPC分类号： G01R31/28 ,  G01R31/3183 ,  G06F11/263

CPC分类号： G01R31/318314 ,  G01R31/318342 ,  G01R31/318371 ,  G06F11/263

摘要： A method of describing a set of tests capable of being performed on a device under test (DUT) is disclosed. The method includes identifying a scenario space of the DUT.

摘要翻译： 公开了一种描述能够在被测设备（DUT）上执行的一组测试的方法。 该方法包括识别DUT的场景空间。