MURAL - Maynooth University Research Archive Library



    Automated Validation of Class Invariants In C++ Applications


    Gibbs, Tanton H. and Malloy, Brian A. and Power, James F. (2002) Automated Validation of Class Invariants In C++ Applications. In: 17th IEEE International Conference on Automated Software Engineering, 2002. Proceedings. ASE 2002. IEEE, pp. 205-214. ISBN 0769517366

    [img]
    Preview
    Download (190kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    In this paper, we describe a non-invasive approach for validation of class invariants in C++ applications. Our approach is fully automated so that the user need only supply the class invariants for each class hierarchy to be checked and our validator constructs an InvariantVisitor, a variation of the Visitor Pattern, and an InvariantFacilitator. Instantiations of the InvariantVisitor and InvariantFacilitator classes encapsulate the invariants in C++ statements and facilitate the validation of the invariants. We describe both our approach and our results of validating invariants in keystone, a well tested parser front-end for C++.

    Item Type: Book Section
    Additional Information: This is the preprint version of the published chapter, which is available at DOI: 10.1109/ASE.2002.1115014
    Keywords: C++ language; graphical user interfaces; software quality; Automated Validation; Class Invariants;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 6442
    Identification Number: https://doi.org/10.1109/ASE.2002.1115014
    Depositing User: Dr. James Power
    Date Deposited: 02 Oct 2015 15:54
    Publisher: IEEE
    Refereed: Yes
    URI:
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads