Wykorzystanie zatożei
itrakty a testy jednostkowe Kontrakty a Java Podsumowanie Demonstracja narzędzi
Kontrakty jako pomocniczy element testowania jednostkowego
o Pomaga zdefiniować sensowne wartości wejściowe o Określa kontekst wykorzystania klasy o Ogranicza odpowiedzialność programisty - nie wychodzimy poza kontrakt
o Można na jego podstawie wyspecyfikować szczegółowe przypadki testowe