Volume 550 of the series Lecture Notes in Computer Science pp 343363
Algebraic validation of software metrics
 Martin ShepperdAffiliated withDept. of Computing and Cognition, Bournemouth Polytechnic
 , Darrel InceAffiliated withDept. of Computer Science, Open University
Abstract
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.
Keywords
Software metrics measurement validation algebraic specification software design Title
 Algebraic validation of software metrics
 Book Title
 ESEC '91
 Book Subtitle
 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings
 Pages
 pp 343363
 Copyright
 1991
 DOI
 10.1007/3540547428_57
 Print ISBN
 9783540547426
 Online ISBN
 9783540464464
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 550
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 SpringerVerlag
 Additional Links
 Topics
 Keywords

 Software metrics
 measurement
 validation
 algebraic specification
 software design
 Industry Sectors
 eBook Packages
 Editors
 Authors

 Martin Shepperd ^{(1)}
 Darrel Ince ^{(2)}
 Author Affiliations

 1. Dept. of Computing and Cognition, Bournemouth Polytechnic, Talbot Campus, BH12 5BB, Bournemouth, England
 2. Dept. of Computer Science, Open University, MK7 6AA, Milton Keynes, England
Continue reading...
To view the rest of this content please follow the download PDF link above.