Data processing: structural design – modeling – simulation – and em – Modeling by mathematical expression
Reexamination Certificate
2007-02-20
2007-02-20
Shah, Kamini (Department: 2128)
Data processing: structural design, modeling, simulation, and em
Modeling by mathematical expression
C703S013000, C703S014000, C714S025000, C714S738000, C714S741000
Reexamination Certificate
active
10453150
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.
REFERENCES:
patent: 5922079 (1999-07-01), Booth et al.
patent: 6141630 (2000-10-01), McNamara et al.
patent: 6356858 (2002-03-01), Malka et al.
patent: 6675138 (2004-01-01), Hollander et al.
patent: 6691249 (2004-02-01), Barford et al.
patent: 6968286 (2005-11-01), Watkins
patent: 2004/0216023 (2004-10-01), Maoz et al.
Heckerman, “A Tutorial on Learning Bayesian Networks”, Technical Report MSR-TR-95-06, Microsoft Corporation, Mar. 1995, pp. 1-40.
Ziv et al., “Constructing Bayesian-network Models of Software Testing and Maintenance Uncertainties”, Proceedings of the 13th IEEE International Conference on Software Maintenance, 1997, pp. 100-109, renumbered as pp. 1-16.
Bose, Mrinal, et al., “A Genetic Approach to Automatic Bias Generation for Biased Random Instruction Generation,” 0-7803-6657-3/01 © 2001 IEEE, pp. 442-448.
Tasiran, Serdar, et al., “A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage,” 0-7695-1200-3/01 © 2001 IEEE, pp. 82-88.
Nativ, Gilly, et al., “Cost Evaluation of Coverage Directed Test Generation for the IBM Mainframe,” IBM Corporation, pp. 1-10.
Ur, Shmuel, et al., “Micro Architecture Coverage Directed Generation of Test Programs,” DAC 99, New Orleans, Louisiana (c) 1999 ACM 1-58113-109-7/99/06.
Fine Shai
Levinger Moshe
Ziv Avi
Day Herng-der
International Business Machines - Corporation
Kaufman Stephen C
Shah Kamini
LandOfFree
Apparatus and method for coverage directed test does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Apparatus and method for coverage directed test, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Apparatus and method for coverage directed test will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3840152