System and method for detecting defects in a computer...

Details System and method for detecting defects in a computer... System and method for detecting defects in a computer...

2011-03-01

2011-03-01

Das, Chameli C (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S127000, C717S128000, C717S131000, C717S132000

Reexamination Certificate

active

07900193

ABSTRACT:
A system and method for identifying errors in a computer software include: identifying a potential problem in the computer software; triggering a portion of the computer software by the identified potential problem; determining a control flow graph and a data flow graph for the triggered portion of the computer software originating at the identified potential problem; and analyzing the control flow graph and the data flow graph to verify that the identified potential problem is an actual error. The potential problem may be identified using test tools such as a static analysis tool or a unit test tool.

REFERENCES:
patent: 5301325 (1994-04-01), Benson
patent: 5317740 (1994-05-01), Sites
patent: 5339238 (1994-08-01), Benson
patent: 5450575 (1995-09-01), Sites
patent: 5485616 (1996-01-01), Burke et al.
patent: 5598560 (1997-01-01), Benson
patent: 5655115 (1997-08-01), Shen et al.
patent: 5784553 (1998-07-01), Kolawa et al.
patent: 5854924 (1998-12-01), Rickel et al.
patent: 5857097 (1999-01-01), Henzinger et al.
patent: 5950009 (1999-09-01), Bortnikov et al.
patent: 5974538 (1999-10-01), Wilmot, II
patent: 5978588 (1999-11-01), Wallace
patent: 6029002 (2000-02-01), Afifi et al.
patent: 6138270 (2000-10-01), Hsu
patent: 6412109 (2002-06-01), Ghosh
patent: 6473794 (2002-10-01), Guheen et al.
patent: 6959431 (2005-10-01), Shiels et al.
patent: 7089537 (2006-08-01), Das et al.
patent: 7155708 (2006-12-01), Hammes et al.
patent: 7299458 (2007-11-01), Hammes
patent: 7349960 (2008-03-01), Pothier et al.
patent: 7606695 (2009-10-01), Nouri et al.
patent: 7614044 (2009-11-01), Bhansali et al.
patent: 2002/0062463 (2002-05-01), Hines
patent: 2004/0088689 (2004-05-01), Hammes
patent: 2004/0088691 (2004-05-01), Hammes et al.
patent: 2006/0036426 (2006-02-01), Barr et al.
patent: 2006/0080077 (2006-04-01), Johnson et al.
patent: 2006/0111888 (2006-05-01), Hiew et al.
patent: 2006/0195556 (2006-08-01), Shamia et al.
patent: 2007/0168931 (2007-07-01), Martin et al.
patent: 2007/0266366 (2007-11-01), Bucuvalas
Title: A Tool for Efficient Protocol Validation and Testing, author: Jenny Li et al, source: IEEE, dated: Oct. 16, 2000.
Title: Event—based verificatin of Synchronous, globally controlled, logic designs against signal flow graphs, author: Aelten et al, source: IEEE, dated:Aug. 6, 2002.
Title: Method for Designing and Placing Check Sets Based on Control Flow Analysis of Programs, author: Geoghegan et al, source: IEEE, dated: Oct. 30, 1996.

Affiliated with

Also associated with

Rating

System and method for detecting defects in a computer... 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 detecting defects in a computer..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for detecting defects in a computer... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2731616