Tool for error detection in software using aspect specification

Details Tool for error detection in software using aspect specification Tool for error detection in software using aspect specification

1991-09-27

1995-06-06

Beausoliel, Jr., Robert W.

G06F 1134

Patent

active

054230276

ABSTRACT:
Bugs are identified within a subject program by embellishing the program with specifications that specify relationships between abstract components of objects of the program. The dependency specified by the specifications are compared with the dependencies provided within the code of the subject program to identify any missing dependencies between abstract components in the code. Any missing dependencies in the code point to errors within the subject program.

REFERENCES:
patent: 4920538 (1990-04-01), Chan et al.
patent: 4937740 (1990-06-01), Agarwal et al.
patent: 5038348 (1991-08-01), Yoda et al.
patent: 5101344 (1992-03-01), Bonet et al.
patent: 5124989 (1992-06-01), Padawer et al.
patent: 5287488 (1994-02-01), Sakata et al.
Patrick Cousot and Radhia Cousot, "Abstract Interpretation: A Unified Lattice Model For Static Analysis of Programs by Construction or Approximation of Fixpoints", Proc. Conf. on Principles of Prog. Lang., 1977.
Patrick Cousot and Radhia Cousot, "Systematic Design of Program Analysis Frameworks", Proc. Conf. on Principles of Prog. Lang., 1979.
Anne Neirynck, Prakash Panangaden, Alan J. Demers, "Computation of Aliases and Support Sets".
Neil D. Jones and Steven S. Muchnick, "A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures", ACM Conf. Princ. Prog. Lang., 1982.
Deborah S. Coutant, "Retargetable High-level Alias Analysis", ACM Conf. Princ. Prog. Lang., 1986.
John Hogg, "Islands: Aliasing Protection in Object-Oriented Languages", OOPSLA, 1991.
David R. Chase, Mark Wegman, F. Kenneth Zadeck, "Analysis of Pointers and Structures", ACM Conf. Prog. Lang. Design and Impl., 1990.
Mark Weiser, "Program Slicing", IEEE Trans. Softw. Eng., vol. SE-10, No. 4, Jul. 1984.
Jeanne Ferrante, Karl J. Ottenstein and Joe D. Warren, "The Program Dependence Graph and Its Use in Optimization", TOPLAS vol. 9, No. 3, Jul. 1987.
Andy Podgurski and Lori A. Clarke, "A Formal Model of Program Dependences and Its Implications for Software Testing, debugging and Maintenance", IEEE Trans. Softw. Engl, vol. 16, No. 9, Sep. 1990.
Neil D. Jones and Steven S. Muchnick, "Flow Analysis and Optimization of LISP-like Structures".
James R. Larus and Paul N. Hlifinger, "Detecting Conflicts Between Structure Accesses", ACM Conf. Prog. Lang. Design and Impl., 1988.
Susan Horwitz, Phil Pfeiffer and Thomas Reps, "Dependency Analysis for Pointer Variables", ACM Conf. Prog. Lang. Design and Impl., 1989.
Cindy Wilson, "Omega-A Data Flow Analysis Tool for the C Programming Language", IEEE Trans. Softw. Engl, vol. SE-11, No. 9, Sep. 1985.
J. C. Huang, "Detection of Data Flow Anomaly Through Program Instrumentation", IEEE Trans. Softw. Eng., vol. SE-5, No. 3, May 1979.
Jean-Francois Bergeretti and Bernard A. Carre, "Information-Flow and Data-Flow Analysis of while-Programs", TOPLAS, vol. 7, No. 1, Jan. 1985.
William E. Howden, "Symbolic Testing and the DISSECT Symbolic Evaluation System", IEEE Trans. Softw. Eng, vol. SE-3, No. 4, Jul. 1977.
Sidney L. Hantler and James C. King, "An Introduction to Proving the Correctness of Programs", ACM Comp. Surveys, vol. 8, No. 3, Sep. 1976.
Thomas E. Cheatham Jr., Glenn H. Holloway and Judy A. Townley, "Symbolic Evaluation and the Analysis of Programs", IEEE Trans. Softw. Eng., vol. SE-5, No. 4, Jul. 1979.
Richard C. Waters, "System Validation via Constraint Modeling", A.I. Memo No. 1020, MIT AI Lab, Feb. 1988.
Kurt M. Olender and Leon J. Osterweil, "Cesar: A Static Sequencing Constraint Analyzer", Proc. Third Symp. on Softw. Testing, Analysis and Verification (TAV3), Key West, Florida, Dec. 1989.
William E. Howden, "Validating Programs Without Specifications", Proc. 3rd ACM Symp. on Softw. Testing, Analysis and Verification (TAV3), Key West, Florida, Dec. 1989.
Peter Henderson, "Finite State Modelling in Program Development", Proc. International Conference on Reliable Software, Los Angeles, 1975.
Dewayne E. Perry, "The Inscape Environment", Proc. 11th Int. Conf. Software Engineering, Pittsburgh, Pa., May 1989.
William E. Howden, "Comments Analysis and Programming Errors", IEEE Trans. Softw. Eng., vol. 16, No. 1, Jan. 1990.
Pierre America, Frank van der Linden, "A Parallel Object-Oriented Language with Inheritance and Subtyping", OOPSLA 1990.
Robert E. Strom, "Mechanisms for Compile-time Enforcement of Security", ACM Conf. Princ. Prog. lang., 1983.
Mark Moriconi and Timoth C. Winkler, "Approximate Reasoning about the Semantic Effects of Program Changes", IEEE Trans. Softw. Eng., vol. 16, No. 9, Sep. 1990.

Affiliated with

Also associated with

Rating

Tool for error detection in software using aspect specification does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Tool for error detection in software using aspect specification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tool for error detection in software using aspect specification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-994314