7008823792

Programowanie kontraktowe

Kontrakty a testy jednostkowe Kontrakty a Java Podsumowanie

Asercje jako pseudokontrakty

Jak działają

Pozwalają testować założenia programu w samym kodzie Składają się z keywordu assert i wyrażenia logicznego definiującego warunek działania programu Mogą wywoływać metody Niespełnienie warunku wyrzuca AssertionError

Wstępnie mogą być wykorzystane do imitacji pre- postconditions i inwariantów