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