Каким образом можно убедиться в корректности выполнения программы?