Bounded program failure analysis and correction

Details Bounded program failure analysis and correction Bounded program failure analysis and correction

2011-02-01

2011-02-01

Zhen, Wei Y (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

Reexamination Certificate

active

07882495

ABSTRACT:
In one embodiment, a computer system determines that a previously run test scenario configured to test a software program has failed to produce an expected result due to one or more semantic errors, generates error trace code configured to monitor the called component, processes the test scenario using the error trace code, and analyzes error trace information to determine the point at which the semantic error occurs in the called component. In an alternative embodiment, a computer system detects a semantic error in a software component of a software program, constructs an error condition that may include source code representing a minimum condition under which the error occurs, generates an object invariant based on the error condition that represents an opposite condition to that represented by the error condition, and automatically generates source code change recommendations using the object invariant that prevent the semantic error from reoccurring in subsequent test scenarios.

REFERENCES:
patent: 5185867 (1993-02-01), Ito
patent: 5485601 (1996-01-01), Ching
patent: 5940847 (1999-08-01), Fein et al.
patent: 6311324 (2001-10-01), Smith et al.
patent: 6336148 (2002-01-01), Doong et al.
patent: 6550024 (2003-04-01), Pagurek et al.
patent: 6996798 (2006-02-01), Ali et al.
patent: 2002/0199168 (2002-12-01), Namito
patent: 2004/0003335 (2004-01-01), Gertz et al.
patent: 2004/0210876 (2004-10-01), Stall et al.
patent: 2005/0114842 (2005-05-01), Fleehart et al.
patent: 2005/0132337 (2005-06-01), Wedel et al.
patent: 2006/0005169 (2006-01-01), Berstis et al.
patent: 2007/0033440 (2007-02-01), Tillmann et al.
patent: 2007/0033576 (2007-02-01), Tillmann et al.
patent: 2007/0294597 (2007-12-01), Kalavacharla et al.
Woodward et al., “Detecting logic errors in discrete-event simulation: reverse engineering through event graphs”, Apr. 1996, Elsevier Science.
Gao et al., “Monitoring Software Components and Component-Based Software”, 2000, IEEE.
Automatic Generation of Program Specifications, Jeremy W. Nimmer and Michael D. Ernst (Article 1).
Automatic Synthesis of Specifications From the Dynamic Observation of Reactive Programs; Bernard Boigelot and Patrice Godefroid, Apr. 1997 (Article 2).
The Daikon System for Dynamic Detection of Likely Invariants, Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao Jul. 30, 2006 (Article 3).

Affiliated with

Also associated with

Rating

Bounded program failure analysis and correction does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Bounded program failure analysis and correction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bounded program failure analysis and correction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2628202