This paper presents a framework for the validation of axiomatic structure metrics. In a case study, the comprehensibility of type expressions in the functional programming language Miranda has been investigated. A structure metric for the comprehensibility of type expressions has been developed together with internal and external axioms. This structure metric has been validated experimentally. The calibrated metric function results in a good prediction of the comprehensibility.
|Number of pages||15|
|Publication status||Published - Aug 1992|
- SE-SMM: Software Measurement and Metrics