7008823789

Programowanie kontraktowe ■

Kontrakty a testy jednostkowe Definiowanie specyfikacji

Kontrakty a Java Weryfikacja poprawności aplikacji

Podsumowanie H Demonstracja narzędzi I

Zadania i benefity kienta i dostawcy

Klient

o Nie musi sprawdzać wyjścia

o Kontrakt gwarantuje poprawność rezultatu

o Dba o zapewnienie poprawności danych wejściowych

Dostawca

o Nie musi sprawdzać danych wejściowych o Kontrakt gwarantuje ich poprawność o Zapewnia poprawny rezultat operacji