Novel Approach for Software Inspection

Michael Fagan introduced the software inspection process in the early 1970s. The Fagan inspection method, a formalization of review process is based on the application of process management techniques to software development. In this paper, the authors discuss techniques based on strongest post-condition predicates transformer (sp). They identify problems with other formal approaches for deriving semantics to support reasoning. They have described verification methods based on the derived semantics forms and conjecture that because the need to provide inference rules for language constructs has been removed, these techniques may be more amenable to automated and semi automated theorem proving than traditional approaches.

Provided by: Kurukshetra University Topic: Software Date Added: Jul 2012 Format: PDF

Find By Topic