Renters insurance application is a J2EE application that
calculates the insurance premiums for rental condominium.
Its software metrics are shown in Table I. The backend
database is DB2 running on the IBM Mainframe, its schema
contains over 700 tables that include close to 15,000 attributes
that contain data on over 78Mil customers. The
application accepts input values using 89 GUI objects. The
total number of combinations of input data is approximately
1065, making it infeasible to comprehensively test Renter.
We used Renters in our motivating example in Section II-B.
JPetstore is a Java implementation of the PetStore benchmark,
where users can browse, purchase pets and rate
their purchases. This sample application is typical in using
the capabilities of the underlying component infrastructures
that enable robust, scalable, portable, and maintainable ebusiness
commercial applications. It comes with full source
code and documentation, so we used it to experiment with
FOREPOST and demonstrate that we can build scalable
security mechanisms into enterprise solutions. We used
iBatis JPetStore 4.0.52. JPetstore has 2,139 lines of code,
382 methods, 36 classes in 8 packages, with the average
cyclomatic complexity of 1.224; it is deployed using the web
server Tomcat 6 and it uses Derby as its backend database