A comparison-based approach for software inspection

  • Authors:
  • Xiaolin Li

  • Affiliations:
  • Department of Computer Science and Engineering, the University of Texas at Arlington, Arlington, TX

  • Venue:
  • CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

Software inspection is considered a cost-effective way for program verification, but a problem with traditional approaches is that the guidelines for code review are usually too general or too vague to be helpful. This paper [1] describes a comparison-based approach to overcome this problem. The development of this approach is based on the observations that different parts of a program are often related to one another, and that most parts are implemented correctly. The comparison-based approach can help reviewers focus on the signs of possible faults in a program. One feature of this approach is that the reviewers may already have some questions in mind before examination of the program. They can have more confidence in the program by using a rigorous comparison analysis during the inspection process. Case studies are given to show the effectiveness and effciency of this approach.