MURAL - Maynooth University Research Archive Library

    Exploiting design patterns to automate validation of class invariants

    Malloy, Brian A. and Power, James F. (2006) Exploiting design patterns to automate validation of class invariants. Software Testing, Verification and Reliability, 16. pp. 71-95. ISSN 1099-1689

    Download (725kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    In this paper, techniques are presented that exploit two design patterns, the Visitor pattern and the Decorator pattern, to automatically validate invariants about the data attributes in a C++ class. To investigate the pragmatics involved in using the two patterns, a study of an existing, well-tested application, keystone, a parser and frontend for the C++ language, is presented. Results from the study indicate that these two patterns provide flexibility in terms of the frequency and level of granularity of validation of the class invariants, which are expressed in the Object Constraint Language, OCL. The quantitative results measure the impact of these approaches and the additional faults uncovered through validation of the case study.

    Item Type: Article
    Additional Information: This is the preprint version of the article published at DOI: 10.1002/stvr.327
    Keywords: Class invariants; validation; design patterns; Object Constraint Language;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 6405
    Identification Number:
    Depositing User: Dr. James Power
    Date Deposited: 23 Sep 2015 15:57
    Journal or Publication Title: Software Testing, Verification and Reliability
    Publisher: John Wiley & Sons Ltd.
    Refereed: No
      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 per month over past year

      Origin of downloads