System and method for visual debugging of constraint systems

Details System and method for visual debugging of constraint systems System and method for visual debugging of constraint systems

2007-10-09

2007-10-09

Kendall, Chuck (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S124000, C717S127000, C717S133000, C717S144000

Reexamination Certificate

active

10045055

ABSTRACT:
A system and method for visualization and debugging of constraint systems and for constraint resolution. The present invention features a systematic, graphical representation that relates generation objects and generation decisions, preferably for example as a simple, two dimensional chart. The representation of relationships between generation entities and generation decisions, and the order in which generation decisions are made, help the user to identify and solve generation problems.

REFERENCES:
patent: 4937765 (1990-06-01), Shupe et al.
patent: 5202889 (1993-04-01), Aharon et al.
patent: 5450586 (1995-09-01), Kuzara et al.
patent: 5633812 (1997-05-01), Allen et al.
patent: 5799295 (1998-08-01), Nagai
patent: 5844909 (1998-12-01), Wakui
patent: 6016474 (2000-01-01), Kim et al.
patent: 6044214 (2000-03-01), Kimura et al.
patent: 6059451 (2000-05-01), Scott et al.
patent: 6202199 (2001-03-01), Wygodny et al.
patent: 6427232 (2002-07-01), Ku et al.
patent: 2003/0028858 (2003-02-01), Hines
Benjamin et al, A Study in Coverage-Driven Test Generation, DAC, 1999, pp. 970-975.
Debany Jr. et al, Design Verification Using Logic Tests, IEEE, 1992, pp. 17-24.
Moundanos, et al., Abstraction Techniques for Validation Coverage Analysis and Test Generation, IEEE Transactions on Computers, vol. 47, No. 1, Jan. 1998, pp. 2-14.
Piwowarski, Coverage Measurement Experience During Function Test, IEEE Proc. 15thInt. Conf. Software Engineering, 1993, pp. 287-301.
Greggain et al, Fault Grading, A Measure of Logic Simulation Integrity, Proc. 2ndAnnual IEEE ASIC Seminar and Exhibit, 1989, pp. 9-2.1-9-2.4.
Sneed, State Coverage of Embedded Realtime Programs, Proc. 2ndWorkshop on Software Testing, Verification & Analysis, 1988, pp. 245.

Affiliated with

Also associated with

Rating

System and method for visual debugging of constraint systems 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 and method for visual debugging of constraint systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for visual debugging of constraint systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3889952