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
Link To Document