DocumentCode
2745242
Title
Overview and Evaluation of Constraint Validation Approaches in Java
Author
Froihofer, Lorenz ; Glos, Gerhard ; Osrael, Johannes ; Goeschka, Karl M.
Author_Institution
Inst. of Inf. Syst., Vienna Univ. of Technol., Vienna
fYear
2007
fDate
20-26 May 2007
Firstpage
313
Lastpage
322
Abstract
Integrity is a dependability attribute partially ensured through runtime validation of integrity constraints. A wide range of different constraint validation approaches exists-ranging from simple if conditions over explicit constraint validation methods and contract specifications to constraints as first class runtime entities of an application. However, increased support for explicitness and flexibility often comes at the price of increased performance costs. To address this issue, we contribute with an overview and evaluation of different constraint validation approaches for the Java programming language with respect to implementation, maintainability and performance. Our results show that the benefits of some of the more advanced approaches are certainly worth their costs by introducing a runtime overhead of only two to ten times the runtime of the fastest approach while other approaches introduce runtime overheads of more than 100, which might be simply too slow in certain applications.
Keywords
Java; data integrity; program verification; Java programming language; constraint validation approaches; integrity constraints; runtime validation; Buildings; Computer languages; Contracts; Costs; Information systems; Java; Logic; Runtime; System analysis and design; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2007. ICSE 2007. 29th International Conference on
Conference_Location
Minneapolis, MN
ISSN
0270-5257
Print_ISBN
0-7695-2828-7
Type
conf
DOI
10.1109/ICSE.2007.60
Filename
4222593
Link To Document