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

Question

После портирования алгоритм проверяют с помощью тестов и сравнения результатов с эталонной реализацией. Используют одинаковые входные данные и проверяют совпадение результатов. Желательно покрыть краевые случаи и случайные данные. Автоматические тесты позволяют быстро выявить расхождения.

YeaHub · Accepted Answer

После переноса алгоритма на другой язык основная задача — убедиться, что логика осталась прежней.1. Сравнение с эталонной реализациейОпределение:Эталонная реализация — это версия алгоритма, корректность которой уже подтверждена.Подход:Подготовить набор входных данныхПолучить результат в старой версииСравнить с новойПример:assert new_impl(x) == reference_impl(x)
2. Регрессионные тестыЕсли тесты существовали ранее:Запустить их на новой версииПроверить, что все проходятПример PyTest:def test_algorithm():
    assert algorithm(10) == 100
3. Случайные тестыИногда полезно генерировать входные данные автоматически:import random

for _ in range(1000):
    x = random.randint(1, 1000)
    assert new_impl(x) == reference_impl(x)
4. Проверка особенностей языкаВажно учитывать:Различия в типах данныхПоведение floatПереполнениеВыводЛучший способ проверить корректность после портирования — сравнение с эталонной реализацией и запуск автоматических тестов на широком наборе входных данных.