Collection and detection of differences of values of...

Details Collection and detection of differences of values of... Collection and detection of differences of values of...

2003-06-16

2010-06-15

Dam, Tuan Q (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S129000, C717S131000

Reexamination Certificate

active

07739664

ABSTRACT:
An automated way to detect differences in the values of program variables/expressions and the order of execution between one run and another. A collection mode saves the values of expressions/variables at collection points in the program. On a subsequent execution during the detection mode, these saved values of the same expressions/variables are recalled and compared with the current values. Advantageously, the user selects the collection points within the program at which variable information can be gathered and compared; and these collection points may include: breakpoints set by a debugging program or by the user; collection points set by the user, and entry and/or exit points and/or points within program structures, such as procedure calls, control blocks, etc. Setup of the collection mode includes the capability to modify the expressions/variables, the tolerance or the acceptable alternatives, and the position and number of collection points.

REFERENCES:
patent: 5148379 (1992-09-01), Konno et al.
patent: 5291497 (1994-03-01), Ulrich et al.
patent: 5854925 (1998-12-01), Shimomura
patent: 6256777 (2001-07-01), Ackerman
patent: 6378125 (2002-04-01), Bates et al.
patent: 6401220 (2002-06-01), Grey et al.
patent: 6513154 (2003-01-01), Porterfield
patent: 6678884 (2004-01-01), Kesselman et al.
patent: 6848097 (2005-01-01), Alverson et al.
patent: 6851075 (2005-02-01), Ur et al.
patent: 7013457 (2006-03-01), Chiang et al.
patent: 7127593 (2006-10-01), Wilson
patent: 2003/0106045 (2003-06-01), Arnold et al.
patent: 2004/0205720 (2004-10-01), Hundt
patent: 8212105 (1996-08-01), None
patent: 2000181700 (2000-06-01), None
patent: WO0041078 (2000-07-01), None
patent: WO 0041708 (2000-07-01), None
“Scan-chain based watch-points for efficient run-time debugging and verification of FPGA designs”, Tiwari et al., Jan. 2003, pp. 705-711, <http://delivery.acm.org/10.1145/1120000/1119930/p705-tiwari.pdf>.
“Class analyses as abstract interpretations of trace semantics”, Spoto et al., Sep. 2003, pp. 578-630, <http://delivery.acm.org/10.1145/940000/937565/p578-spoto.pdf>.
“Debugging with reverse watchpoint”, Maruyama et al., Nov. 2003, pp. 116-123, <http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1319093&isnumber=29226>.
Springer, Principles and Practice of Constraint Programming—CP2000, 6th International Conference, Singapore, Sep. 18-21, 2000 Proceedings, “Extending Forward Checking”, F. Bacchus, pp. 35-51.
NASA/CP-2000-210100, Lfm2000: Fifth NASA Langley Formal Methods Workshop, Williamburg, VA Jun. 13-15, 2000, Modeling and Verification of Real-Times Software Using Extended Linear Hybrid Automata, S. Vestal.
ACM, ICSE 2000, Proceedings of the 2000 International Conference on Software Engineering, Jun. 4-11, 2000, Limerick, Ireland, “Quickly Detecting Relevant Program Invariants”, M.D. Ernst et al, pp. 449-458.

Affiliated with

Also associated with

Rating

Collection and detection of differences of values of... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Collection and detection of differences of values of..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Collection and detection of differences of values of... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4190812