A review approach to detecting structural consistency violations in programs

The application of specification-based program verification techniques (e.g., testing, review, and proof) usually faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. In this paper we describe an approach to detecting the violations of the structural consistency in programs based on their specifications by review. The approach is aimed at supporting software development in which programs are constructed based on their formal specifications. We establish a set of criteria and a review process that can guide reviewers to uncover structural consistency violations in programs, and apply the approach in a case study to assess its effectiveness.

[1]  Claes Wohlin,et al.  An Experimental Comparison of Usage-Based and Checklist-Based Reading , 2003, IEEE Trans. Software Eng..

[2]  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.

[3]  Harvey P. Siy,et al.  A Review of Software Inspections , 1995, Adv. Comput..

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

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

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

[7]  Marc Roper,et al.  The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection , 2003, IEEE Trans. Software Eng..

[8]  Paolo Tonella,et al.  Reverse engineering of the UML class diagram from c++ code in presence of weakly typed containers , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.