An Empirical Study on a Specification-Based Program Review Approach

Program review is an effective technique for detecting faults in software systems by reading and analyzing program code. However, challenges still remain in providing systematic and rigorous review techniques. We have recently developed a rigorous review approach and a software tool that provide reviewers with support in analyzing whether a program accurately implements the functions and properties defined in its specification. In this paper, we describe an empirical study of the application of our review approach and tool to a software system for automated teller machines (ATMs). We also discuss the effectiveness of the review approach, as well as some weaknesses, based on the results of our study, and suggest potential solutions to the problems encountered during the study

[1]  Shaoying Liu,et al.  A tool and case study for specification-based program review , 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).

[2]  Shaoying Liu,et al.  Formal Engineering for Industrial Software Development , 2004, Springer Berlin Heidelberg.

[3]  João Batista Camargo,et al.  Best Practices in Code Inspection for Safety-Critical Software , 2003, IEEE Softw..

[4]  Jakob Engblom.  Static properties of commercial embedded real-time programs, and their implication for worst-case execution time analysis , 1999, Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium.

[5]  Thomas Gilb,et al.  Software Inspection , 1994 .

[6]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[7]  Robert B. Grady,et al.  Key lessons in achieving widespread inspection use , 1994, IEEE Software.

[8]  Arthur L. Price,et al.  Managing code inspection information , 1994, IEEE Software.

[9]  Shaoying Liu.  Formal Engineering for Industrial Software Development: Using the SOFL Method , 2004 .

[10]  Shaoying Liu,et al.  Design of a tool for specification-based program review , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[11]  Shaoying Liu,et al.  An investigation of the approach to specification-based program review through case studies , 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.

[12]  Gerald M. Weinberg,et al.  Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating Programs, Projects, and Products , 1990 .

[13]  Capers Jones,et al.  Programming Productivity , 1986 .

[14]  Michael E. Fagan.  Design and Code Inspections to Reduce Errors in Program Development , 1976, IBM Syst. J..

[15]  Edward Yourdon,et al.  Structured walkthroughs: 4th edition , 1989 .

[16]  Peter J. Middleton,et al.  Software Inspection , 1994, J. Inf. Technol..

[17]  Jeremy Dick,et al.  Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.