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.