Inspection of Software with Incomplete Description

Michael Sharygin


Software quality problem has become increasingly visible, as software has emerged as the dominant factor in determining system costs. Software inspection, or static analysis of software artifacts, is commonly recognized as an efficient way of finding defects. Unfortunately, in software inspection we often face the problem of non-existent, unsatisfactory or inconsistent software documentation.

This thesis investigates existing inspection methods and derives a generic inspection process for assuring quality, evaluating and specifying post-release software product with incomplete undergoing description. The inspection strategy refers to a set of scenarios and to the associated comparison scheme to be used for diagnosing software defects.

To be rigorous and systematic, the process of inspecting software with incomplete description needs an evolvable base of software artifacts analysis in order to avoid desperate understanding of the software system under study. To realize this, a generic process within the framework suggested employs a lifecycle-centric approach to software inspection. To facilitate the process, we propose a stepwise abstraction system recovery while engineering the system in reverse.

We will also introduce an experiment investigating the development of a rigorous approach for effective software inspection.