Late binding of variables during test case generation for...

Details Late binding of variables during test case generation for... Late binding of variables during test case generation for...

2006-02-21

2006-02-21

Nghiem, Michael (Department: 2863)

Data processing: measuring, calibrating, or testing

Testing system

Of circuit

C702S119000, C702S123000

Reexamination Certificate

active

07003420

ABSTRACT:
Methods and systems are provided that improve design verification by test generators by delaying assignment of values in the generated stimuli until these values are used in the design. Late binding allows the generator to have a more accurate view of the state of the design, and in order to choose correct values. Late binding can significantly improve test coverage with a reasonable performance penalty as measured by simulation time.

REFERENCES:
patent: 6243862 (2001-06-01), Lebow
Lichtenstein, Yossi et al., “Model Based Test Generation for Processor Verification”, Sixth Innovative Applications of Artificial Intelligence Conference, Aug. 1994, pp. 83-94.
Chandra, A. et al., “AVPGEN—A Test Generator for Architecture Verification”, IEEE Trans. on Very Large Scale Integration (VLSI) Systems, vol. 3, No. 2, pp. 188-200 (Jun. 1995).
O'Krafka, Brian et al., “MPTG: A Portable Test Generator for Cache-Coherent Multiprocessors”, International Conference on Computers and Communicatins, 1995 IEEE, pp. 38-44.
Bergmann, Jules et al., “Improving Coverage Analysis and Test Generation for Large Designs”. Proceedings of the International Conference on Computer Design, pp. 580-583, Nov. 1999.
Seger, C.J. et al., “Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories” Formal Methods in System Design: An International Journal, 6(2): 147-189, Mar. 1995.
Edelstein, O., et al., “Multithreaded Java Program Test Generation”, IBM Systems Journal, vol. 41, No. 1, 2002, pp. 111-125.
Stoller, S. et al., “Model-Checking Multi-Threaded Distributed Java Programs”, Proceedings of the 7th International SPIN Workshop on Model Checking of Software, pp. 224-244, New York, 2000.

Affiliated with

Also associated with

Rating

Late binding of variables during test case generation for... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Late binding of variables during test case generation for..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Late binding of variables during test case generation for... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3634030