• 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