Software Measurement and Functional Programming

Klaas van den Berg

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    32 Downloads (Pure)

    Abstract

    Software metrics have been investigated for the assessment of programs written in a functional programming language. The external attribute of programs considered in this thesis is their comprehensibility to novice programmers. This attribute has been operationalized in a number of experiments. The internal attribute of software which is examined is the structure. Two models for the structure of software have been employed: callgraphs and flowgraphs. The proposed control-flow model captures the operational semantics of function definitions. The objective measurement of the attributes has been supported by tools. The validation of structure metrics has been addressed in certain experiments for programming-in-the-small. The structure of type expressions in functional programs has been analysed in a case study. A simple framework for software metrication proved to be useful. The validation of metrics has been linked with axioms from the representational measurement theory. The control-flow model for functional programs showed its value in the set-up of an experiment regarding the influence of the structure on the comprehensibility. A programming style rule on the use of guards in function definitions has been validated by the findings in this experiment.
    Original languageEnglish
    Supervisors/Advisors
    • van den Broek, P.M., Advisor
    • Duijvestijn, A.J.W., Supervisor
    • Fenton, N.E., Supervisor
    Award date23 Jun 1995
    Place of PublicationEnschede
    Publisher
    Print ISBNs9090082514
    Publication statusPublished - 23 Jun 1995

    Keywords

    • SE-SMM: Software Measurement and Metrics
    • CR-D.3
    • IR-57883
    • EWI-10092

    Fingerprint Dive into the research topics of 'Software Measurement and Functional Programming'. Together they form a unique fingerprint.

    Cite this