Abstract:
Software design metrics, since their apparition, suffer from a lack of formalism in their definition opening room to ambiguities and thus to misleading results. Although, several studies attempted to bring rigor to most well-known suite of metrics, the degree of formalism used to define them, constitutes a significant obstacle towards the built of solid tools support, considered as the key point to an easy integration of measurement in the industry. This paper is a logical continuation of a previous published work where a Zbased formalization of the CK metrics is presented, offering an innovative and easy to follow methodology which successfully manages to provide a solid definition of metrics that deals with complexity, coupling and cohesion. While this work brings formalism at the classifier level, we proceed, in the present, to propose formalism for an overall quality measurement of the object-oriented systems, introducing the invisibility concept formalization and extending the quality indicator properties to encapsulation and polymorphism.
Page(s):
1-10
DOI:
DOI not available
Published:
Journal: Journal of Theoretical and Applied Information Technology, Volume: 49, Issue: 1, Year: 2013