каким образом проверяется правильность разработанной программы