Apparatus and method for coverage directed test
First Claim
1. A coverage directed test generation (CDG) engine comprising:
- 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;
a Bayesian network which determines input data to said test verification system to achieve at least some of said coverage events; and
a task manager coupled to said data analyzer and said Bayesian network which refers to said coverage model and queries said Bayesian network to produce input data to achieve desired coverage events.
1 Assignment
0 Petitions
Accused Products
Abstract
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.
-
Citations
13 Claims
-
1. A coverage directed test generation (CDG) engine comprising:
-
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; a Bayesian network which determines input data to said test verification system to achieve at least some of said coverage events; and a task manager coupled to said data analyzer and said Bayesian network which refers to said coverage model and queries said Bayesian network to produce input data to achieve desired coverage events. - View Dependent Claims (2, 3, 4, 5, 6)
-
-
7. A computer product readable by a machine, tangibly embodying a program of instructions executable by the machine to perform method steps for coverage directed test verification, said method comprising:
-
analyzing 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; having a coverage model listing coverage events which define the goal of the test verification system; having Bayesian network which determines input data to said test verification system to achieve at least some of said coverage events; and querying said Bayesian network to produce input data to achieve desired coverage events. - View Dependent Claims (8, 9, 10, 11, 12)
-
-
13. A method for coverage directed test verification comprising:
-
analyzing 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; having a coverage model listing coverage events which define the goal of the test verification system; having Bayesian network which determines input data to said test verification system to achieve at least some of said coverage events; and querying said Bayesian network to produce input data to achieve desired coverage events.
-
Specification