Program Analysis: A Hierarchy |
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 |
|||
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.Contents
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 |