A framework for the validation of axiomatic structure metrics is presented. 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.
|Title of host publication||First International Software Metrics Symposium|
|Place of Publication||Washington, USA|
|Number of pages||8|
|Publication status||Published - May 1993|
- SE-SMM: Software Measurement and Metrics