Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2008-04-29
2008-04-29
Lohn, Joshua (Department: 2114)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C714S032000
Reexamination Certificate
active
10155801
ABSTRACT:
A method and apparatus for generating processor test programs using a formal description of the processor's instruction set. An instruction set for a processor is formally described using a language such as ISDL. The formal description of the instruction set identifies certain characteristics of the instructions making up the instruction set. The formal description is combined with a test specification that describes desired properties of a test program by formally specifying test sequences that are to be applied to instructions having particular characteristics. A test program is generated by applying the formal test specification to the formal description of the instruction set including test sequences applicable to instructions having the particular characteristics.
REFERENCES:
patent: 5724504 (1998-03-01), Aharon et al.
patent: 5894424 (1999-04-01), Motohama et al.
patent: 5956478 (1999-09-01), Huggins
patent: 6006025 (1999-12-01), Cook et al.
patent: 6112312 (2000-08-01), Parker et al.
patent: 6611779 (2003-08-01), Kohno et al.
patent: 6647513 (2003-11-01), Hekmatpour
patent: 2002/0002698 (2002-01-01), Hekmatpour
patent: 2002/0004918 (2002-01-01), Mathieu et al.
Patterson, Davaid A., Hennessy, John I.; Computer Organization & Desing: The Hardware/Software Interface; 1998; Morgan Kaufmann Publishers, Inc.; Second Edition; pp. 106-107 and 274.
Fallah, F., Takayama, K.; A New Functional Test Program Generation Methodology; Proceedings. 2001 International Conference on computer Design; Sep. 23-26, 2001; pp. 76-81.
Hadjiyiannis, G., Hanono, S., Devadas, S.; ISDL: An Instruction Set Description Language For Retargetability; Proceedings of the 34thDesign Automation Conference, 1997; Jun. 9-13, 1997; pp. 299-302.
Balcer et al.; Automatic Generation of Test Scripts from Formal Test Specifications; Dec. 1989; ACM SIGSOFT Software Engineering Notes, vol. 14, Issue 8; pp. 210-218.
Fallah Farzan
Takayama Koichiro
Christie Parker & Hale LLP
Fujitsu Limited
Lohn Joshua
LandOfFree
Method and apparatus for test program generation based on an... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for test program generation based on an..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for test program generation based on an... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3958028