In addition software testing is an empirical method for finding errors that the type checker cannot detect.
Као додатак софтверско тестирање је емпирични метод за проналажење грешака које контролор куцања не може наћи.