Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2004-06-14
2008-08-05
Maskulinski, Michael C (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
Reexamination Certificate
active
07409592
ABSTRACT:
An exemplary embodiment of the invention relates to a system for facilitating coverage feedback testcase generation reproducibility. The system comprises a domain definition input file for defining a coverage domain element and an internal coverage domain data store in communication with the domain definition input file. The internal coverage domain data store stores domain definitions collected from the domain definition input file as well as updates made to the coverage domain element. The system also includes a test case generator in communication with the internal coverage domain data store. The test case generator generates testcases. The system also includes a pseudo-random generated seed assigned to a successfully generated testcase. The successfully generated testcase is replicated without generating each prior testcase utilizing the pseudo-random generated seed. The replication includes an initial coverage state for the successfully generated testcase.
REFERENCES:
patent: 3764995 (1973-10-01), Helf et al.
patent: 4513418 (1985-04-01), Bardell, Jr. et al.
patent: 4519078 (1985-05-01), Komonytsky
patent: 5202889 (1993-04-01), Aharon et al.
patent: 5475608 (1995-12-01), Masuoka
patent: 6041419 (2000-03-01), Huang et al.
patent: 6041429 (2000-03-01), Koenemann
patent: 6125359 (2000-09-01), Lautzenheiser et al.
patent: 6212667 (2001-04-01), Geer et al.
patent: 6397169 (2002-05-01), Sheonoy et al.
patent: 6487704 (2002-11-01), McNamara et al.
patent: 6584598 (2003-06-01), Rao et al.
patent: 6634017 (2003-10-01), Matsui et al.
patent: 7114111 (2006-09-01), Noy
patent: 7281185 (2007-10-01), Maoz et al.
patent: 2003/0121011 (2003-06-01), Carter
patent: 0549949 (1993-07-01), None
U.S. Appl. No. 10/113,756, filed Mar. 28, 2002, Bohizic et al.
U.S. Appl. No. 10/113,319, filed Mar. 28, 2002, Decker.
A.K. Chandra, V.S. Iyengar, R.V. Jawalekar, M.P. Mullen, I.Nair, and B.K. Rosen, “Architectural Verification Using Symbolic Instruction Graphs,” 1994, pp. 454-459.
A.Chandra, V. Iyengar, D.Jameson, R. Jawalekar, I. Nair, B. Rosen, M. Mullen, J. Yoon, R. Armoni, D. Geist and Y. Wolfsthal AVPGEN—A Test Generator for Architecture Verification, IEEE Transactions on Very Large Scale Integration Systems, vol. 3. No. 2, Jun. 1995 pp. 188-200.
Cantor & Colburn LLP
International Business Machines - Corporation
Maskulinski Michael C
Monteleone Geraldine
LandOfFree
System for facilitating coverage feedback testcase... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System for facilitating coverage feedback testcase..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System for facilitating coverage feedback testcase... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4004762