Share and Export
Share and Export
Gibbs, Tanton H., 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
Preview
JP-Automated-Validation.pdf
Download (190kB) | Preview
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: | 10.1109/ASE.2002.1115014 |
| Depositing User: | Dr. James Power |
| Date Deposited: | 02 Oct 2015 15:54 |
| Publisher: | IEEE |
| Refereed: | Yes |
| Related URLs: | |
| URI: | https://mural.maynoothuniversity.ie/id/eprint/6442 |
| 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
Downloads per month over past year
