Investigating the Limitations of Java Annotations for Input Validation

ARES(2010)

引用 6|浏览26
暂无评分
摘要
Recently Java annotations have received a lot of attention as a possible way to simplify the us- age of various frameworks, ranging from persistence and verification to security. In this paper we discuss the usage of annotations for input validation purposes. We investigate their advantages and more importantly their limitations in the design of validation tests. We report on our experience in the development of an annotation-based framework for input validation, discussing possible solutions and compromises that were necessary.
更多
查看译文
关键词
Java,program verification,Java annotations,input validation,security verification,validation tests,Annotations,Input Validation,Java
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要