Вопрос: Как называется процесс, посредством которого проверяется правильность программы?
Ответ: тестирование.