System for determining a total error description of at least...

Details System for determining a total error description of at least... System for determining a total error description of at least...

2006-05-16

2006-05-16

Nguyen-Ba, Antony (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S156000, C714S038110, C714S048000

Reexamination Certificate

active

07047523

ABSTRACT:
A section of a computer program is used to ascertain a control flow description and a data flow description, and program elements are selected from the section of the computer program. For each selected program element, a stored fault description associated with a respective reference element is used to ascertain an element fault description which describes possible faults in the respective program element. The element fault descriptions are used to ascertain the overall fault description, taking into account the control flow description and the data flow description.

REFERENCES:
patent: 5500941 (1996-03-01), Gil
patent: 5586252 (1996-12-01), Barnard et al.
patent: 5740357 (1998-04-01), Gardiner et al.
patent: 5903453 (1999-05-01), Stoddard, II
patent: 6012152 (2000-01-01), Douik et al.
N. Leveson et al., “Safety Verification of ADA Programs Using Software Fault Trees”, IEEE Software, Jul. 8, 1991, No. 4, pp. 48-59.
R. Vishnuvajjala et al., “Flow Analysis for Concurrent, Reactive, Real-Time Systems”, IEEE High Assurance Systems Engineering Workshop, Oct. 1996, pp. 176-183.
M. Weiser, “Program Slicing”, IEEE Transactions Software Engineering, vol. SE-10, No. 4, Jul. 1984, pp. 352-357.
International Electrotechnical Commission, “Fault Tree Analysis (FTA),” 61025/Ed.2/CD, 2004.

Affiliated with

Also associated with

Rating

System for determining a total error description of at least... 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 for determining a total error description of at least..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System for determining a total error description of at least... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3587842