7008823787

Programowanie Kontraktowe ■

Kontrakty a testy jednostkowe Definiowanie specyfikacji

Kontrakty a Java Weryfikacja poprawności aplikacji

Podsumowanie H Demonstracja narzędzi I

Definiowanie specyfikacji - Zasady

Ważną zasadą łączącą kontrakty z programowaniem obiektowym jest zasada dziedziczenia kontraktów.

Klasa dziedzicząca kontrakt może:

O Zachować lub “zacieśnić” warunki wejściowe metody O Zachować lub “poszerzyć" warunki wyjściowe metody O Zachować lub “zacieśnić” niezmienniki klasy

" req u ire no morę, promise no less"