An automated approach to specification-based program inspection

  • Authors:

  • Shaoying Liu;Fumiko Nagoya;Yuting Chen;Masashi Goya;John A. McDermid

  • Affiliations:

  • Department of Computer Science, Faculty of Computer and Information Sciences, Hosei University, Tokyo, Japan;Department of Computer Science, Faculty of Computer and Information Sciences, Hosei University, Tokyo, Japan;Department of Computer Science, Faculty of Computer and Information Sciences, Hosei University, Tokyo, Japan;Department of Computer Science, Faculty of Computer and Information Sciences, Hosei University, Tokyo, Japan;Department of Computer Science, University of York, UK

  • Venue:
  • ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we describe how formal specification is adopted to improve the commonly used verification and validation technique known as program inspection, in order to establish a more rigorous, repeatable, and efficient inspection process than the conventional practice. We present a systematic approach to inspecting program code on the basis of the relation between functional scenarios defined in a specification and execution paths implemented in its program. We report a prototype tool for the approach to support both forward and backward inspection strategies, and a case study of inspecting an Automatic Teller Machine system to evaluate the performance of the approach and the tool.