Program Analysis: A Hierarchy
Andreas Zeller

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en franšais English home page
   Andreas Zeller. Program Analysis: A Hierarchy. Proc. Workshop on Dynamic Analysis (WODA 2003), Portland, Oregon, May 2003.
"Program analysis tools can be classified into a hierarchy along the used reasoning techniques - deduction, observation, induction, and experimentation. Each class is defined by the used knowledge sources which impose capabilities and limits. This allows for a finer distinction of dynamic analysis techniques; names like observation, induction, or experimentation link directly to the techniques that programmers use in program comprehension." (Conclusion)

Get the paper in PDF format (46k, 4 pages).

Abstract

Program analysis tools are based on four reasoning techniques: (1) deduction from code to concrete runs, (2) observation of concrete runs, (3) induction from observations into abstractions, and (4) experimentation to find causes for specific effects. These techniques form a hierarchy, where each technique can make use of lower levels, and where each technique induces capabilities and limits of the associated tools.

Contents

  1. Introduction
  2. Deduction
  3. Observation
  4. Induction
  5. Experimentation
  6. A Hierarchy of Program Analysis
  7. Conclusion and Future Work
  8. References

Download

See Also...

Impressum Datenschutzerklärung

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/papers/woda2003/ · Stand: 2018-04-05 13:41