Paper Info
Title
Validating structural properties of nested objects
Abstract
Frameworks are widely used to facilitate software reuse and accelerate development time. However, there are currently no systematic mechanisms to enforce the explicit and implicit rules of these frameworks. This paper focuses on a class of framework rules that place restrictions on the properties of data structures in framework applications. We present a mechanism to enforce these rules by the use of a generic "bad store template" which can be customized for different rule instances. We demonstrate the use of this template to validate specific bad store rules within J2EE framework applications. Violations of these rules cause subtle defects which manifest themselves at runtime as data loss, data corruption, or race conditions. Our algorithm to detect "bad stores" is implemented in the Smart Analysis-Based Error Reduction (SABER) validation tool, where we pay special attention to facilitating problem understanding and remediation, by providing detailed problem explanations. We present experimental results on four commercially deployed e-commerce applications that show over 200 "bad stores".
Year
DOI
Venue
2004
10.1145/1028664.1028774
OOPSLA Companion
Keywords
Field
DocType
data corruption,specific bad store rule,data loss,detailed problem explanation,bad store,nested object,framework rule,framework application,bad store template,structural property,j2ee framework application,data structure,frameworks,race condition,sensitivity analysis,e commerce
Data structure,Data mining,Data validation,Programming language,Software engineering,Data loss,Computer science,Reuse,Software,Data Corruption,Code Validation
Conference
ISBN
Citations 
PageRank 
1-58113-833-4
2
0.41
References 
Authors
12
7
Name
Order
Citations
PageRank
Darrell Reimer11249.17
Edith Schonberg2103589.50
Kavitha Srinivas351235.61
Harini Srinivasan447555.31
Julian Dolby5138974.44
Aaron Kershenbaum681896.80
Larry Koved721640.91