Algebraic validation of software metrics

  • Martin Shepperd
  • Darrel Ince
Conference paper

DOI: 10.1007/3540547428_57

Part of the Lecture Notes in Computer Science book series (LNCS, volume 550)
Cite this paper as:
Shepperd M., Ince D. (1991) Algebraic validation of software metrics. In: van Lamsweerde A., Fugetta A. (eds) ESEC '91. ESEC 1991. Lecture Notes in Computer Science, vol 550. Springer, Berlin, Heidelberg


A method is described for the formal evaluation of a software metric and its underlying model. This is based upon the specification of the model as an algebra and its desired behaviour as an associated axiom set. If these axioms can be proved to be invariant across the model, then the model may be considered to be valid with respect to its axioms. Where an axiom cannot be shown to be invariant this implies that either the model is anomalous or that the axiom was inappropriate. This approach is applied to a design metric based upon intermodule coupling. It is argued that this method of metric validation is a general one, and one which is capable of increasing confidence in the correctness of a metric particularly during the early stages of its development when empirical data may either be sparse or unavailable. It is intended as a practical means whereby metrics workers can eliminate pathological metrics prior to embarking upon costly and time consuming empirical validation exercises. We do not intend that this method should supplant empirically based means of validation, rather that it is complementary technique.


Software metrics measurement validation algebraic specification software design 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1991

Authors and Affiliations

  • Martin Shepperd
    • 1
  • Darrel Ince
    • 2
  1. 1.Dept. of Computing and CognitionBournemouth PolytechnicBournemouthEngland
  2. 2.Dept. of Computer ScienceOpen UniversityMilton KeynesEngland

Personalised recommendations