MURAL - Maynooth University Research Archive Library



    A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy


    McQuillan, Jacqueline A. and Power, James F. (2008) A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy. In: 1st International Conference on Software Testing, Verification, and Validation, 2008. IEEE, pp. 288-297. ISBN 9780769531274

    [img]
    Preview
    Download (99kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion metrics. We also describe a systematic approach to the analysis of MOF-compliant metamodels and illustrate the approach using the presented metamodel. In this approach, we express the metamodel using UML and OCL and harness existing automated tools in a framework that generates a Java implementation and an Alloy specification of the metamodel, and use this both to examine the metamodel constraints, and to generate instantiations of the metamodel. Moreover, we describe how the approach can be used to generate test data for any software based on a MOF-compliant metamodel. We extend our framework to support this approach and use it to generate a test suite for the metrics calculation tool that is based on our metamodel.

    Item Type: Book Section
    Additional Information: This is the postprint version of the published paper, which is available at DOI: 10.1109/ICST.2008.58
    Keywords: Alloy; metamodels; model testing; object-oriented metrics;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 6387
    Identification Number: https://doi.org/10.1109/ICST.2008.58
    Depositing User: Dr. James Power
    Date Deposited: 22 Sep 2015 15:00
    Publisher: IEEE
    Refereed: Yes
    URI:

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year