Method for determining operational characteristics of a program

Details Method for determining operational characteristics of a program Method for determining operational characteristics of a program

2004-12-27

2010-11-02

Dam, Tuan Q (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S124000, C717S127000, C717S131000

Reexamination Certificate

active

07827534

ABSTRACT:
The inventive method for determining operational characteristics of a program includes a verification procedure involving the following stages: the first stage for expressing the operational characteristics of the program in the form of functions related to events producible during possible executions of the program, a second stage for simultaneously estimating, by program analysis, the program structure, the possible ways of execution and values used at different program points and the third stage for determining said characteristics by calculating associated functions by means of information extracted with the aid of the analysis.

REFERENCES:
patent: 5963739 (1999-10-01), Homeier
patent: 6213391 (2001-04-01), Lewis
patent: 6418444 (2002-07-01), Raduchel et al.
patent: 6684194 (2004-01-01), Eldering et al.
patent: 6993761 (2006-01-01), Czajkowski et al.
patent: 7000151 (2006-02-01), Dwyer
patent: 7051200 (2006-05-01), Manferdelli et al.
patent: 7120572 (2006-10-01), Liang
patent: 2001/0037438 (2001-11-01), Mathis
patent: 2003/0154468 (2003-08-01), Gordon et al.
patent: 2003/0233547 (2003-12-01), Gaston et al.
patent: 2003/0237026 (2003-12-01), Petersen et al.
patent: 2004/0003321 (2004-01-01), Glew et al.
patent: 2004/0005051 (2004-01-01), Wheeler et al.
patent: 2004/0031025 (2004-02-01), Brisset
patent: 2005/0081061 (2005-04-01), Acott et al.
patent: 2005/0273766 (2005-12-01), Vetrivelkumaran et al.

Affiliated with

Also associated with

Rating

Method for determining operational characteristics of a program 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 for determining operational characteristics of a program, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for determining operational characteristics of a program will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4248339