Highly specialized scenarios in random test generation

Details Highly specialized scenarios in random test generation Highly specialized scenarios in random test generation

2005-03-21

2008-10-07

Bonzo, Bryce P (Department: 2113)

Error detection/correction and fault detection/recovery

Data processing system error or fault handling

Reliability and availability

Reexamination Certificate

active

07434101

ABSTRACT:
Improvements in functional verification of a design are achieved by providing a test template that specifies test parameters directed to a function of the design. An exemption mode of operation is associated with a portion of the template, in which constraints and variables associated with the template are revised. The template is an input to a CSP engine, which, in cooperation with a test generator engine, produces test scenarios that lie in an expanded region of the generator's usual operational space. Provision is made for independently enabling and disabling a plurality of exemption modes of operation that are associated with the same or different areas of the template.

REFERENCES:
patent: 6519727 (2003-02-01), Noy
patent: 6530054 (2003-03-01), Hollander
patent: 6925405 (2005-08-01), Adir et al.
patent: 7007207 (2006-02-01), Emek et al.
patent: 2003/0130813 (2003-07-01), Adir et al.
patent: 2004/0078742 (2004-04-01), Emek et al.
patent: 2005/0060132 (2005-03-01), Hollander et al.
patent: 2005/0203720 (2005-09-01), Lagoon et al.
U.S. Appl. No. 11/092,000, filed Mar. 29, 2005.
Bin, E. et al., “Using a Constraint Satisfaction Formulation and Solution Techniques for Random Test Program Generation”, IBM Systems Journal, vol. 41, No. 3, Aug. 2002, pp. 386-402.
Haque, F. et al., “The Art of Verification with Vera”, Chapter 8, pp. 229-248, Sep. 2001, published by Verification Central, 5178 Mowry Ave, #2137, Fremont, CA 94539.
Kumar, Vipin, “Algorithms for Constraint-Satisfaction Problems: A Survey”, AI Magazine, 1992, vol. 13, No. 1, pp. 32-44.
Emek, Roy et al., “X-Gen: A Random Test-Case Generator for Systems and SoCs”, IEEE International High Level Design Validation and Test Workshop (HLDVT), pp. 145-150, Oct. 2002.
Grinwald, R. et al., “User Defined Coverage—A Tool Supported Methodology for Design Verification”, Proceedings of 38th Design Automation Conference (DAC98), Jun. 15-19, 1998, pp. 158-163.
Lichtenstein, Y. et al, “Model Based Test Generation for Processor Verification”, Innovative Applications of Artificial Intelligence (IAAI), AAAI Press, 1994.
Lewin, Daniel et al., “Constraint Satisfaction for Test Program Generation”, Int. Phoenix Conference on Computers and Communications, Mar. 1995.
Aharon, A. et al., “Test Program Generation for Functional Verification of PowerPC Processors in IBM”, 32nd Design Automation Conference, San Francisco, Jun. 1995, pp. 279-285.

Affiliated with

Also associated with

Rating

Highly specialized scenarios in random test generation does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Highly specialized scenarios in random test generation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Highly specialized scenarios in random test generation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3995970