Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2008-05-13
2008-05-13
McCarthy, Christopher (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C703S022000
Reexamination Certificate
active
07373550
ABSTRACT:
Software built in self test computer programs12are generated using a genetic algorithm14technique. A fault simulator20is used to simulate candidate software built in self test computer programs and compare the simulated execution, such to deliberately introduced test faults, with expected execution outcomes previously derived for that candidate program to determine the sensitivity of that candidate program to the faults which are introduced. This score can be fed back into the genetic algorithm mutation to converge the mutation process upon appropriately fault sensitive software built in self test program code.
REFERENCES:
patent: 5488573 (1996-01-01), Brown et al.
patent: 5671352 (1997-09-01), Subrahmaniam et al.
patent: 5913064 (1999-06-01), Chen
patent: 6178533 (2001-01-01), Chang
patent: 6625760 (2003-09-01), Man et al.
patent: 6728668 (2004-04-01), Kitamorn et al.
patent: 6885983 (2005-04-01), Ho et al.
patent: 6918098 (2005-07-01), Smith et al.
patent: 6941499 (2005-09-01), Sung et al.
patent: 7032133 (2006-04-01), Lang et al.
patent: 7065676 (2006-06-01), Lang et al.
patent: 7117131 (2006-10-01), Binnig
patent: 7139936 (2006-11-01), Petsinger et al.
patent: 7236911 (2007-06-01), Gough et al.
patent: 7239978 (2007-07-01), Cheng et al.
patent: 2001/0027539 (2001-10-01), Nozuyama
patent: 2003/0154432 (2003-08-01), Scott et al.
patent: 2003/0208351 (2003-11-01), Hartman et al.
patent: 2004/0015791 (2004-01-01), Smith et al.
patent: 2004/0088615 (2004-05-01), Kundu
patent: 2004/0133409 (2004-07-01), Mukherjee et al.
patent: 2005/0159936 (2005-07-01), Rees et al.
patent: 2005/0182587 (2005-08-01), Sato et al.
patent: 2006/0123278 (2006-06-01), Dini et al.
patent: 2006/0156261 (2006-07-01), Farkash et al.
patent: 2007/0016389 (2007-01-01), Ozgen
patent: 2007/0050740 (2007-03-01), Jacobi et al.
M. Bose et al, “A Genetic Approach to Automatic Bias Generation for Biased Random Instruction Generation” Evolutionary Computation 2001, May 2001, pp. 442-448.
M. Bose et al, “Automatic Bias Generation Using Pipeline Instruction State Coverage for Biased Random Instruction Generation” On-Line Testing Workshop 2001, Jul. 2001, pp. 65-71.
Brawn Jonathan William
Craske Simon John
Furbish Eric Jason
Harrod Peter Logan
ARM Limited
McCarthy Christopher
Nixon & Vanderhye P.C.
LandOfFree
Generation of a computer program to test for correct... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Generation of a computer program to test for correct..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generation of a computer program to test for correct... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2773154