Site icon UK Essayz

Assignment: Contract design

Implement a use defined class called BankAccount whose objects represents real world bank account entities. Each bankaccount object at a minimum should have a balance field. Supply methods that allow deposit, withdraw and checking balance operations and other necessary operations as you see fit. Also, implement a clone( ) method that creates a copy of bankaccount object. Overwrite the equals( ) method of the Object class that helps to check the contents of two bankaccount objects. Ensure that you apply Design by Contract principles (preconditions/post conditions ¦ ) and Defensive Programming techniques (assertions, exception handling ¦) while implementing this user defined class. Make sure to include the preconditions and postconditions, exceptions etc. as part of comments in the code.

Next create a test class that demonstrates the defensive mechanisms that you have put in place in the use defined class.

Provide a write up in detail describing the Design by Contract principles and Defensive
Programming techniques you have used in your implementation.

Things to Turn in:
 Copy and paste your code in courier new font of both the user defined
class as well as test program
 Screen shots of the run of the test program with explanations if any on the output
 Write up on application of design by contract and defensive programming
principles/techniques.