Methods and apparatus for monitoring program execution

Details Methods and apparatus for monitoring program execution Methods and apparatus for monitoring program execution

2004-11-23

2009-11-17

Vo, Ted T (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S130000, C717S131000

Reexamination Certificate

active

07620940

ABSTRACT:
A technique for monitoring an execution of a program is provided. At least one relational query is constructed and compiled into a program instrumentation. The program instrumentation is incorporated into the program and one or more query results are output from the program as the program executes.

REFERENCES:
Chanika Hobtr and Brian A. Malloy, “The Design of an OCL Query-Based Debugger for C++”, SAC, 2001.
Thomas Ball, “Efficiently Counting Program Events with Support for On-Line Queries”, ACM, 1994.
Raimondas Lencevicius, Urs Holze, and Ambuj K. Singh, “Query-Based Debugging of Object-Oriented Programs”, OOPSLA 1997.
Lencevicius et al. “Dynamic Query-Based Debugging”, 1999, Springer-Verlag Berlin Heidelberg, pp. 135-160.
Starner, “Some Examples Using the Interval Data Type in the Relational Database Model”, 1996, Reliable Computing 2, pp. 373-381.
Answer.com, “Words—Dictionary: Relational”, 1998, The Computer Language Co. Inc., one page.
January, “Logrind 2—A Program Trace Framework”, Jun. 2004, CiteSeerX Beta, pp. 1-79.
Lencevicius. “Query-Based Debugging”, Aug. 1999, Doctor Thesis of University of California, Santa Barbara, pp. i-xiv, 1-140.
J.C. Corbett et al., “Expressing Checkable Properties of Dynamic Systems: The Bandera Specification Language,” International Journal on Software Tools for Technology Transfer, pp. 1-30, Jun. 2001.
M.D. Ernst, “Dynamically Discovering Likely Program Invariants,” PhD Thesis, University of Washington, Department of Computer Science and Engineering, 142 pages, 2000.
S. Hangal et al., “Tracking Down Software Bugs Using Automatic Anomaly Detection,” Proceedings of the International Conference on Software Engineering, 11 pages, May 2002.
K. Havelund et al., “Synthesizing Monitors for Safety Properties,” International Conference on Tools and Algorithms for Construction and Analysis of Systems, (TACAS'02), 15 pages, 2002.
G. Kiczales et al., “An Overview of AspectJ,” Lecture Notes in Computer Science, 28 pages, 2001.
M. Kim, “Information Extraction for Run-Time Formal Analysis,” PhD Thesis, CIS Dept., University of Pennsylvania, 178 pages, 2001.
I. Lee et al., “Runtime Assurance Based on Formal Specifications,” Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 1-12, Mar. 1999.
Y. Liao et al., “A Specificational Approach to High Level Program Monitoring and Measuring,” IEEE Transactions of Software Engineering, vol. 18, No. 11, pp. 969-978, Nov. 1992.
B. Liblit et al., “Bug Isolation Via Remote Program Sampling,” Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pp. 141-154, Jun. 2003.
D. Marinov et al., “Object Equality Profiling,” Proceedings of the ACM Conference on Object-Oriented Programing Systems, Languages, and Applications (OOPSLA 2003), pp. 313-325, Oct. 2003.
H.W. Gunther, “WebSphere Application Server Development Best Practices for Performance and Scalability,” IBM WebSphere Application Server Standard and Advanced Editions, White Paper, pp. 1-45, Sep. 2000.
D. Drusinsky, “The Temporal Rover and the ATG Rover,” Lecture Notes in Computer Science, Proceedings of the 7th International SPIN Workshop on SPIN Model Checking Software Verification, pp. 323-329, 2000.
I. Lee et al., “Runtime Assurance Based on Formal Specifications,” Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 1-12, 1999.
S. Goldsmith et al., “Light-Weight Instrumentation From Relational Queries Over Program Traces,” Report No. UCB/CSD-4-1315, Computer Science Division (EECS), University of California, 18 pages, Mar. 2004.

Affiliated with

Also associated with

Rating

Methods and apparatus for monitoring program execution does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods and apparatus for monitoring program execution, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods and apparatus for monitoring program execution will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4113019