7008823796

Narzędzia wspierające programowanie kontraktowe w Javie

Kontrakty a testy jednostkowe Kontrakty a Java Podsumowanie Demonstracja narzędzi

C4J

o Kontrakty jako klasy generyczne parametryzowane typem zakontraktowanej klasy

9 Warunki pre, post i inwarianty jako metody z asercjami 9 Enkapsulacja warunków kontraktu w tych metodach 9 Dzięki parametryzacji klasy można odwoływać się do metod i pól zakontraktowanej klasy 9 Wszystko pisane w standardowym kodzie Javy