SWE 619 In Class Exercise Number 11
November 21, 2017
This is a JUnit theory exercise.
hashCode() discussion in Bloch.
Write a JUnit theory for the symmetry property for
Focus on the contract perspective.
Populate the theory with data points and choices for how
equals() is implemented that:
- If possible cause the theory to be disproved.
- Are inadequate to cause the theory to be disproved.
Repeat the exercise for the transitive property for
What happens to these theories/data points when favoring composition over inheritance?
Repeat the exercise for the consistency relationship of
what properties should be checked with theories?