Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2006-07-04
2006-07-04
Ingberg, Todd (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S158000
Reexamination Certificate
active
07073166
ABSTRACT:
The present invention discloses a method of developing a software system. The method facilitates the task of checking the software system's conformity to design during development, testing, and maintenance. A design control flow graph describes how the software system is to operate. Coding of the software system proceeds with reference to the design control flow graph. The design control flow graph can also be used as a framework for the construction of a monitoring module that comprises a collection of functions for checking the coding of the software system. During development, each node in the software system executes a corresponding monitoring function of the monitoring module. The monitoring function verifies, for example, whether the node was entered from a valid predecessor node, and whether some or all variables visible to the node have permissible values.
REFERENCES:
patent: 5778212 (1998-07-01), Dehnert et al.
patent: 5828883 (1998-10-01), Hall
patent: 5838977 (1998-11-01), Gupta
patent: 5987254 (1999-11-01), Subrahmanyam
patent: 6070009 (2000-05-01), Dean et al.
patent: 6092180 (2000-07-01), Anderson et al.
patent: 6424120 (2002-07-01), Chen
patent: 6425120 (2002-07-01), Morganelli et al.
patent: 6425121 (2002-07-01), Phillips
patent: 6519765 (2003-02-01), Kawahito et al.
patent: 6636905 (2003-10-01), McNamer et al.
patent: 6665866 (2003-12-01), Kwiatkowski et al.
patent: 6715139 (2004-03-01), Kodosky et al.
patent: 6721941 (2004-04-01), Morshed et al.
patent: 6782374 (2004-08-01), Nichols
patent: 6848100 (2005-01-01), Wu et al.
patent: 6901582 (2005-05-01), Harrison
patent: 6915509 (2005-07-01), Chkodrov et al.
“A Prototype System For Static and Dynamic Program Understanding”, David P. Olshefski et al, IBM Watson Research Center, IEEE, 1993, pp. 93-106.
“Interprocedural Reaching Definitions in the Presence of Single Level Pointers”, Hermant D. Pande et al, Rutgers University, Oct. 13, 1992, pp. 1-30.
Wolfe, M, High Performance Compliers for Parallel Computing, Addison-Wesley, 1996, p. 56.
Coco T. Rao
England Anthony V. S.
Ingberg Todd
International Business Machines - Corporation
LandOfFree
Conformance of computer programs with predetermined design... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Conformance of computer programs with predetermined design..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Conformance of computer programs with predetermined design... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3573350