Wykorzystanie zatożei
itrakty a testy jednostkowe Kontrakty a Java Podsumowanie Demonstracja narzędzi
o Kontrakt opisuje generalny przypadek testowy dla obejmowanej klasy
o Definiuje wartości wejściowe parametrów metod o Służy jako wyrocznia opisująca warunki poprawności rezultatów metod