Patent
1996-07-08
1998-11-03
Banankhah, Majid A.
395180, 395181, G06F 945
Patent
active
058322710
ABSTRACT:
Techniques for obtaining information about dynamic properties of a program. The techniques involve programming a programmable execution environment such as a debugger so that when the program is executed in the execution environment, side effects of the execution provide the information about the dynamic properties. The program for the execution environment is produced by a source code analyzer which statically analyzes the source code. The source code analyzer is in turn produced by a code analyzer generator. Output from the execution environment may be provided to a graphical display system. In one use of the techniques, the code analyzer generator not only generates a source code analyzer for producing the program for the execution environment, but also a source code analyzer for producing a program which when executed by a graphical browser makes a flow graph for the program. In this case, the graphical browser responds to the output from the execution environment by altering the appearance of the flow graph.
REFERENCES:
patent: 4080650 (1978-03-01), Beckett
patent: 4819234 (1989-04-01), Huber
patent: 5038348 (1991-08-01), Yoda et al.
patent: 5301336 (1994-04-01), Kodosky et al.
patent: 5313616 (1994-05-01), Cline et al.
"Static Analysis of Program Source Code Using EDSA", Proceeding of Conference on Software Maintenance, pp. 192-193, Oct., 1989.
Turbo Debugger, User's Guide, Version 2.5 Copyright 1988, 1991 by Borland international Ch. 7 & 8.
R. G. Hamlet, "Testing Programs with the Aid of a Compiler", IEEE Transactions on Software Engineering, vol. SE-3, No. 4, Jul. 1977.
"Man Pages for Purify", Pure Softeware Inc., Aug. 10, 1993.
P. Frankl and E. Weyuker, "A Data Flow Testing Tool", Softfair II, San Francisco, Calif., Dec. 1985.
D. J. Jablonowski, et al., "Vase: The Visualization and Application Steering Environment", Proceedings Supercomputing 93, Nov. 15-19, 1993, Portland US, IEEE.
J. Heymann, "A 100% Portable Inline-Debugger", ACM Sigplan Notices, vol. 28, No. 9, Sep. 1993, New York.
J. P. Ambras, et al., "MicroScope: An Integrated Program Analysis Toolset", Hewlett-Packard Journal, No. 4, Aug. 1988, Palo Alto, CA, USA, pp. 71-82.
T. Williams, "Branch Analysis Tool Quantifies Testing", Computer Design, vol. 29, No. 3, Feb. 1, 1990, Tulsa, US.
Banankhah Majid A.
Lucent Technologies - Inc.
LandOfFree
Determining dynamic properties of programs does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Determining dynamic properties of programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Determining dynamic properties of programs will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-701826