Konstrukcję do sprawdzenia danych wejściowych i wyjściowych zapewnia między innymi język D: double divide(double dividend, double divisor) in{ assert(divisor != 0); } out (result){ assert(result < 10); } body{ return dividend/divisor; } Funkcja ta najpierw sprawdzi, czy drugi argument jest równy zeru, jeśli tak, zwróci wyjątek; jeśli nie, podzieli pierwszy argument przez drugi. Następnie sprawdzi, czy wynik jest mniejszy od 10. Jeśli okaże się mniejszy, funkcja zwróci wartość. W przeciwnym wypadku zwróci wyjątek.
Za szczególny przypadek kontroli danych wyjściowych można uznać również test jednostkowy.
Przypisy
Kategoria:Paradygmaty programowania