Method and system for identifying errors in computer software

Details Method and system for identifying errors in computer software Method and system for identifying errors in computer software

2007-01-23

2007-01-23

Beausoliel, Robert W. (Department: 2113)

Error detection/correction and fault detection/recovery

Data processing system error or fault handling

Reliability and availability

C714S035000, C714S037000, C717S124000, C717S126000

Reexamination Certificate

active

10669306

ABSTRACT:
Disclosed are a method and system for analyzing a computer program. The method comprises the steps of analyzing the program to generate an initial error report and a list of suspected error conditions, and generating a set of assertions and inserting the assertions into the program to determine if the suspected error conditions are valid. Preferably, a strong static analysis method is used to identify an initial set of error reports. When this analysis fails to determine if the condition is true or false, the condition along with the potential program error is captured to form a suspected error. Suspected errors are directed to an assertion generator to produce a monitor—that is, source code modification that is integrated with the original program. This and other inserted monitors check the conditions for the suspected error during the program execution.

REFERENCES:
patent: 5319645 (1994-06-01), Bassi et al.
patent: 5903759 (1999-05-01), Sun et al.
patent: 6115544 (2000-09-01), Mueller
patent: 6901581 (2005-05-01), Schneider
patent: 6950964 (2005-09-01), McMichael et al.
Daniel Brand, “A Software Falsifier”,International Symposium on Software Reliability Engineering, pp. 174-185, Jun. 28, 2000.
C. Flanagan, et al., “Predicate Abstraction for Software Verification”,Proceedings of the 29th ACM SIGPLA-SIGACT Symposium on Principles of Programming Languages, vol. 37, Issue 1, Jan. 2002.

Affiliated with

Also associated with

Rating

Method and system for identifying errors in computer software 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 system for identifying errors in computer software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for identifying errors in computer software will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3768310