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
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)
 |
Item control page |
Downloads per month over past year
Origin of downloads
Altmetric
Altmetric