Method for analyzing calls of application program by inserting monitoring routines into the executable version and redirecting calls to the monitoring routines

Patent 5313616 Issued on May 17, 1994. Estimated Expiration Date:

May 17, 2011. Estimated Expiration Date is calculated based on simple USPTO term provisions. It does not account for terminal disclaimers, term adjustments, failure to pay maintenance fees, or other factors which might affect the term of a patent.

Abstract Claims Description Full Text

Patent References

Digital pattern triggering circuit
Patent #: 4100532
Issued on: 07/11/1978
Inventor: Farnbach

Computer monitored or controlled system which may be modified and de-bugged on-line by one not skilled in computer programming
Patent #: 4533997
Issued on: 08/06/1985
Inventor: Furgerson

Optimization of range checking
Patent #: 4642765
Issued on: 02/10/1987
Inventor: Cocke , et al.

Arrangement for dynamic range checking or matching for digital values in a software system
Patent #: 4692897
Issued on: 09/08/1987
Inventor: Crabbe, Jr.

Condition code graph analysis for simulating a CPU processor
Patent #: 4951195
Issued on: 08/21/1990
Inventor: Fogg, Jr., et al.

Method and apparatus for monitoring software execution in a parallel multiprocessor computer system
Patent #: 5047919
Issued on: 09/10/1991
Inventor: Sterling, et al.

Method and apparatus for monitoring the execution time of a computer program
Patent #: 5204956
Issued on: 04/20/1993
Inventor: Danuser, et al.

Bus monitor with selective capture of independently occuring events from multiple sources
Patent #: 5210862
Issued on: 05/11/1993
Inventor: DeAngelis, et al.

Method for optimizing computer code to provide more efficient execution on computers having cache memories Patent #: 5212794
Issued on: 05/18/1993
Inventor: Pettis, et al.

Inventors

Assignee

88Open Consortium, Ltd.

Application

No. 584189 filed on 09/18/1990

US Classes:

717/127, Monitoring program execution713/323, Active/idle mode processing714/35, Substituted or added instruction (e.g., code instrumenting, breakpoint instruction)714/45, Output recording (e.g., signature or trace)717/130Including instrumentation and profiling

Examiners

Primary: Lee, Thomas C.
Assistant: Harrity, Paul

Attorney, Agent or Firm

Fish & richardson

International Classes

G06F 011/30
G06F 009/45

Abstract

A method for verifying the conformance of an application program to a set of system rules characterized by the development of a conformance database, the performance of a static analysis of the application program to determine whether the application program is in static conformance with the conformance database and the performance of a dynamic analysis of the application program to determine whether the application program is in dynamic conformance with the conformance database. The static analysis produces a graph of the basic blocks of the application program and analyzes the graph for conformance to system rules, dead code and coverage metrics. The dynamic analysis adds a small amount of monitoring code into an executable application program which monitors the application program as it is exercised in a test harness. The monitoring code produces a log database which can be analyzed for run-time non-conformities of the application program.