5. Two approaches used to write the specifications for operations between a sender and a receiver object (e.g., Queue) are based on design by contract and defensive design. [35]

Draw a state machine specifying the operations for a Queue. Use a modeling tool, such as StarUML, to draw your state machine (statechart), copy and paste the state machine into this document.

Write test cases that satisfy the all states criteria for the Queue using the state machine. Assume the Queue stores Integer objects with a maximum size of 5 objects.

Write test cases that satisfy the all transitions criteria for the Queue using the state machine. Assume the Queue stores Integer objects with a maximum size of 5 objects.