• DocumentCode
    1958070
  • Title

    Investigating the Limitations of Java Annotations for Input Validation

  • Author

    Mancini, Federico ; Hovland, Dag ; Mughal, Khalid A.

  • Author_Institution
    Dept. of Inf., Univ. of Bergen, Bergen, Norway
  • fYear
    2010
  • fDate
    15-18 Feb. 2010
  • Firstpage
    513
  • Lastpage
    518
  • Abstract
    Recently Java annotations have received a lot of attention as a possible way to simplify the usage of various frameworks, ranging from persistence and verification to security. In this paper we discuss our experiences in implementing an annotation framework for input validation purposes. We investigate the advantages and more importantly their limitations in the design of validation tests. We conclude that annotations are a good choice for specifying common validation tests. However, the limitations of annotations have an impact on creating and using generic tests and tests involving multiple properties.
  • Keywords
    Java; program verification; Java annotations; input validation; security verification; validation tests; Availability; Informatics; Java; Reflection; Runtime; Security; Testing; Usability; XML; Annotations; Input Validation; Java;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Availability, Reliability, and Security, 2010. ARES '10 International Conference on
  • Conference_Location
    Krakow
  • Print_ISBN
    978-1-4244-5879-0
  • Type

    conf

  • DOI
    10.1109/ARES.2010.29
  • Filename
    5438045