Slice-based Formal Specification Measures - Mapping Coupling and Cohesion Measures to Formal Z

This paper demonstrates that existing slice-based measures can reasonably be mapped to the field of state-based specification languages. By making use of Z specifications this contribution renews the idea of slice-profiles and derives coupling and cohesion measures for them. The measures are then assessed by taking a critical look at their sensitiveness in respect to modifications on the specification source. The presented study shows that slice-based coupling and cohesion measures have the potential to be used as quality indicators for specifications as they reflect the changes in the structure of a specification as accustomed from their program-related pendants.

[1]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[2]  Andreas Bollin.  Concept location in formal specifications , 2008, J. Softw. Maintenance Res. Pract..

[3]  Sallie M. Henry,et al.  Software Structure Metrics Based on Information Flow , 1981, IEEE Transactions on Software Engineering.

[4]  Mark Harman,et al.  Slice-based measurement of coupling , 1997 .

[5]  Tim Miller,et al.  CZT Support for Z Extensions , 2005, IFM.

[6]  Antoni Diller,et al.  Z - an introduction to formal methods , 1990 .

[7]  Andreas Bollin.  The efficiency of specification fragments , 2004, 11th Working Conference on Reverse Engineering.

[8]  Roland Mittermeir,et al.  Demand-Driven Specification Partitioning , 2003, JMLC.

[9]  Tong Yi,et al.  Slicing Z specifications , 2004, SIGP.

[10]  David W. Binkley,et al.  An empirical study of slice-based cohesion and coupling metrics , 2007, TSEM.

[11]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[12]  Wolfgang Mueller,et al.  An Introduction to Formal Methods , 2004 .

[13]  W. B. Samson,et al.  Predictive software metrics based on a formal specification , 1987 .

[14]  Tornohiro ODA,et al.  Specification slicing in formal methods of software development , 1993, Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93.

[15]  Linda M. Ott,et al.  Slice based metrics for estimating cohesion , 1993, [1993] Proceedings First International Software Metrics Symposium.

[16]  Mark David Weiser,et al.  Program slices: formal, psychological, and practical investigations of an automatic program abstraction method , 1979 .