Method and system for verifying a computer program

Details Method and system for verifying a computer program Method and system for verifying a computer program

2006-05-16

2006-05-16

Das, Chameli C. (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S124000, C717S126000, C717S127000, C717S132000, C710S002000, C710S003000, C710S038000

Reexamination Certificate

active

07047522

ABSTRACT:
A method and system for verifying resolution of attributes of a computer program. The verification system analyzes a command-based computer program prior to runtime to determine whether the input attributes associated with a command would be properly resolved prior to execution of that command at runtime. During verification, the verification system processes the commands of the program in sequence. For each input attribute of a command, the verification system identifies a source (e.g., output attribute of a command) of the value for the input attributes. The verification system then determines whether that source would be properly resolved during execution of the computer program.

REFERENCES:
patent: 4672535 (1987-06-01), Katzman et al.
patent: 4752897 (1988-06-01), Zoeller et al.
patent: 5313551 (1994-05-01), Labrousse et al.
patent: 5365606 (1994-11-01), Brocker et al.
patent: 5448731 (1995-09-01), Wang et al.
patent: 5651111 (1997-07-01), McKeeman et al.
patent: 5754860 (1998-05-01), McKeeman et al.
patent: 5925109 (1999-07-01), Bartz
patent: 5946681 (1999-08-01), Shorter
patent: 5970244 (1999-10-01), Nagahashi et al.
patent: 6065009 (2000-05-01), Leymann et al.
patent: 6071317 (2000-06-01), Nagel
patent: 6085198 (2000-07-01), Skinner et al.
patent: 6226783 (2001-05-01), Limondin et al.
patent: 6243737 (2001-06-01), Flanagan et al.
patent: 6253374 (2001-06-01), Dresevic et al.
patent: 6275976 (2001-08-01), Scandura
patent: 6301584 (2001-10-01), Ranger
patent: 6385496 (2002-05-01), Irwin et al.
patent: 6405364 (2002-06-01), Bowman-Amuah
patent: 6519766 (2003-02-01), Barritz et al.
patent: 6529948 (2003-03-01), Bowman-Amuah
patent: 6658450 (2003-12-01), Balakrishnan et al.
patent: 6671798 (2003-12-01), Puziol et al.
patent: 6687707 (2004-02-01), Shorter
patent: 6708169 (2004-03-01), Berry et al.
patent: 6708173 (2004-03-01), Behr et al.
patent: 6728949 (2004-04-01), Bryant et al.
patent: 6754670 (2004-06-01), Lindsay et al.
patent: 6820137 (2004-11-01), Nakamura et al.
patent: 6820255 (2004-11-01), Babaian et al.
patent: 6968542 (2005-11-01), Bagley et al.
Instruction Cache Fetch Policies for Speculative Execution, Lee et al, ACM, 1995.
Concurrent Runtime Monitoring of Formally specified Programs, Sankar et al, IEEE, Mar. 1993.
Incorporating Probabilistic Reasoning in a Reactive Program Debugging System, Burnell et al, IEEE, 1994.

Affiliated with

Also associated with

Rating

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

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3652394