Patent
1994-08-10
1997-12-02
Butler, Dennis M.
395704, G06F 1100
Patent
active
056945396
ABSTRACT:
An error detection mechanism for detecting programing errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components. The effect of execution of a component on externals and resources of the component is determined by traversing one or more possible control flow paths through the component and tracking the use of each external and resource by each statement of each control flow path. Once the effect of execution of a component on externals and resources of the component is determined, a model of the component is created and used to model externals and resources of other components which invoke the modelled component.
REFERENCES:
patent: 5193180 (1993-03-01), Hastings
patent: 5253158 (1993-10-01), Suzuki et al.
patent: 5293629 (1994-03-01), Conley et al.
patent: 5355469 (1994-10-01), Sparks et al.
patent: 5613063 (1997-03-01), Eustance et al.
patent: 5615369 (1997-03-01), Holler
J.C. Huang, "Detection of Data Flow Anomaly Through Program Instrumentation," IEEE Trans. on Software Eng., vol. SE-5, No. 3, May, 1979, pp. 226-236.
Boris Beizer, Software Testing Techniques, 2nd Ed., Van Nostrand Reinhold, New York, NY, 1990, pp., 59-60, 70-77, 145 and 150-172.
Janusz W. Laski et al., "A Data Flow Oriented Program Testing Strategy," IEEE Transactions On Software Engineering, vol. SE-9, No. 3, May 1983, pp. 347-354.
Phyllis G. Frankl et al., "An Applicable of Data Flow Testing Criteria," IEEE Transactions On Software Engineering, vol. 14, No. 10, Oct. 1988, pp. 1483-1498.
Bogdan Korel, "Automated Software Test Data Generation," IEEE Transactions On Software Engineering, vol. 16, No. 8, Aug. 1990, pp. 870-879.
Peter Fritzson et al., "Generalized Algorithmic Debugging and Testing," Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation. Toronto, Ontario, Canada, Jun. 26-28, 1991, pp. 317-326.
Francois Bourdoncle, "Abstract debugging of higher-order imperative languages," ACM SIGPLAN '93, document No. 0-89791-598-4/93/0006/046, pp. 46-55.
Rajiv Gupta, "Optimizing Array Bound Checks Using Flow Analysis," ACM Letters on Programming Languages and Systems, vol. 2, Nos. 1-4, Mar.-Dec. 1993, pp. 135-150.
Richard A. Eyre-Todd, "The Detection of Dangling References in C++ Programs," ACM Letters on Programming Languages and Systems, vol. 2, Nos. 1-4, Mar.-Dec. 1993, pp. 127-133.
Istvan Forgacs, "Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis," ACM Letters on Programming Languages and Systems, vol. 2, Nos. 1-4, Mar.-Dec. 1993. pp. 29-55.
Lloyd D. Fosdick et al., "Data Flow Analysis in Software Reliability," Computing Surveys, vol. 8, No. 3, Sep. 1976, pp. 305-330.
Todd M. Austin et al., "Efficient Detection of All Pointer and Array Access Errors," 1994 ACM SIGPLAN, document No. 0-89791-662-x/94/0006, pp. 290-301.
Mizuhito Ogawa et al., "Anomaly Detection of Functional Programs Based on Global Dataflow Analysis," Systems and Computers in Japan, vol. 21, No. 2, 1990, pp. 11-22.
Fun Ting Chan et al., "AIDA--A Dynamic Data Flow Anomaly Detection System for Pascal Programs," Software--Practice and Experience, vol. 17(3), Mar. 1987, pp. 227-239.
Bush William R.
Haley Matthew A.
Pincus Jonathan D.
Butler Dennis M.
Intrinsa Corporation
LandOfFree
Computer process resource modelling method and apparatus does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Computer process resource modelling method and apparatus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computer process resource modelling method and apparatus will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-808769