7008823788

Programowanie kontraktowe ■

Kontrakty a testy jednostkowe Definiowanie specyfikacji

Kontrakty a Java Weryfikacja poprawności aplikacji

Podsumowanie H Demonstracja narzędzi I

Weryfikacja poprawności aplikacji

o Jeden kontrakt opisuje wszystkie możliwe przypadki wykorzystania danej klasy.

o Może to być uznawane za pewną słabość praktyki, gdyż w przeciwieństwie do TDD nie pozwala na zagłębianie się w konkretne przypadki implementacji, o Kontrakt jest jasno zdefiniowany i widoczny zarówno dla klienta jak i twórcy

o Aplikacje weryfikuje się tylko pod względem załozeń kontraktu