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
Abstract
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: |
https://doi.org/10.1002/stvr.327 |
| 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 |
| 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)
 |
Item control page |
Downloads per month over past year
Origin of downloads
Altmetric
Altmetric