Discussion of the Analysis Approach

  • Salwa K. Abd-El-Hafiz
  • Victor R. Basili
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 325)


In the previous chapters, a knowledge-based program understanding approach has been described. This approach satisfies research goals 1-3 given in Section 1.1. The resulting predicate logic annotations are unambiguous and have a sound mathematical basis which allows correctness conditions to be stated and verified, if desired. The analysis approach does not rely on real-time user-supplied information and can analyze non-adjacent loop parts. The fourth goal, which is related to validating the analysis approach, is addressed in the following chapter.


Initialization Adaptation Error Message Symbolic Execution Loop Condition Adaptation Path 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1995

Authors and Affiliations

  • Salwa K. Abd-El-Hafiz
    • 1
  • Victor R. Basili
    • 2
  1. 1.Cairo UniversityEgypt
  2. 2.University of MarylandUSA

Personalised recommendations