Program Analysis: A Hierarchy
Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970
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).
AbstractProgram 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.
See Also...<firstname.lastname@example.org> · http://www.st.cs.uni-saarland.de/papers/woda2003/ · Stand: 2018-04-05 13:41