公开(公告)号：US07181376B2

公开(公告)日：2007-02-20

申请号：US10453150

申请日：2003-06-03

申请人： Shai Fine ,  Moshe Levinger ,  Avi Ziv

发明人： Shai Fine ,  Moshe Levinger ,  Avi Ziv

IPC分类号： G06F17/10

CPC分类号： G06F11/261 ,  G05B23/0256 ,  G06F17/5022

摘要： A Bayesian network correlating coverage data and input data to a test verification system for coverage directed test generation (CDG) of a device under test. In one embodiment, the Bayesian network is part of a CDG engine which also includes a data analyzer which analyzes coverage data from a current test run of a test verification system and from previous test runs to determine which coverage events from a coverage model have occurred therein, at what frequency and which ones have not yet occurred, a coverage model listing coverage events which define the goal of the test verification system and a task manager coupled to the data analyzer and the Bayesian network which refers to the coverage model and queries the Bayesian network to produce input data to achieve desired coverage events.

摘要翻译： 贝叶斯网络将覆盖数据和输入数据与测试验证系统相关联，用于被测设备的覆盖定向测试生成（CDG）。 在一个实施例中，贝叶斯网络是CDG引擎的一部分，其还包括数据分析器，其分析来自测试验证系统的当前测试运行的覆盖数据，并且从先前的测试运行中分析来自覆盖模型的哪些覆盖事件在哪里发生 在什么频率和哪些频率还没有发生的情况下，列出定义测试验证系统的目标的覆盖事件的覆盖模型以及耦合到数据分析器和贝叶斯网络的任务管理器，其参考覆盖模型并查询贝叶斯 网络产生输入数据来实现所需的覆盖事件。