DOKO'19 Dzień Odkrywców Kampusu Ochota

Każdy, kto programuje, zetknął się z takim problemem, że nie od razu algorytm, który mamy w głowie, udaje się zapisać w sposób bezbłędny w języku programowania. Programiści najczęściej zdobywają zaufanie do swojego kodu, wykonując testy z działającym programem. Inny sposób polega na tym, że programista wyobraża sobie, co ma się dziać w programie i odnosi te wyobrażenia do napisanego kodu. Ten pierwszy sposób zyskał ogromną popularność - istnieje wiele systemów wspierających testowanie kodu. Chociaż to może wydawać się zaskakujące, to okazuje się, że ten drugi sposób też można w szerokim zakresie automatyzować. Jak tego typu narzędzia działają, będzie się można przekonać na zajęciach.