Отладка и тестирование программ: основные подходы и ограничения