Кратко: наиболее простыми для тестирования с точки зрения обнаружения и покрытия ошибок обычно оказываются явные суммарные типы результата (например, $Result<T,E>$ и $Option<T>$), затем — проверяемые исключения (checked exceptions), дальше — непроверяемые исключения (unchecked), и в конце — возвращаемые коды ошибок (C). Ниже — почему и как это влияет на тестирование.
1) Суммарные типы результата (Rust: $Result<T,E>$, $Option<T>$)
- Суть: ошибки представлены в типе возвращаемого значения; компилятор/типизация заставляют обрабатывать или явно пробрасывать результат.
- Плюсы для тестирования:
- Явность: все ветви успех/ошибка видны в сигнатуре — тесты легче проектировать.
- Статическая гарантия того, что ошибку нельзя игнорировать, повышает покрытие ветвлений.
- Удобная композиция (map/and_then, ?-оператор) делает функции небольшими и легко тестируемыми как единицы.
- Легко подменять ошибочные варианта и писать unit-тесты для каждого случая.
- Минусы:
- При большой цепочке вызовов число сценариев обработки может расти (в худшем виде комбинаторно), теоретически до $2^n$ ветвей, но удобные абстракции снижают эту сложность.
- Советы: писать маленькие чистые функции, тестировать отдельно трансформации успех/ошибка; использовать property testing для инвариантов.
2) Исключения
- Checked exceptions (Java): сигнатура указывает возможные исключения.
- Плюсы: частичная явность — компилятор требует обработки, это помогает не забыть покрыть некоторые ошибки.
- Минусы: часто в реальности пишут catch-all или оборачивают в RuntimeException — это скрывает реальные ветви и усложняет тестирование.
- Тестирование: проще выявлять и симулировать бросания, но нужно контролировать побочные эффекты и жизненный цикл (finally).
- Unchecked exceptions (Python, RuntimeException):
- Плюсы: удобно писать; можно легко симулировать выбросы в mocks.
- Минусы: контрольный поток скрыт, возможны неожиданные propagation и трудно обеспечить покрытие необрабатываемых путей; тесты должны явно ловить исключения и проверять состояние после них.
- Общие проблемы с исключениями:
- Невидимый контрольный поток: трудно определить все точки, где исключение может прерваться.
- Сторонние библиотеки могут бросать разные типы; тесты должны моделировать эти сценарии.
- Советы: использовать mocks/fakes для моделирования исключений, проверять побочные эффекты после исключения, избегать catch-all в продовом коде.
3) Возвращаемые коды ошибок (C-style)
- Суть: функция возвращает код состояния (int/errno), ошибки не выражены типами.
- Плюсы: простая модель, легко симулировать разные коды в тестах.
- Минусы для тестирования:
- Легко забыть проверку кода — тесты должны явно проверять коды на каждом шаге.
- Нет статической помощи — трудно автоматически найти места, где проверка отсутствует.
- Магические числа/errno усложняют понимание и написание позитивных/негативных тестов.
- Советы: оборачивать в более явные абстракции в тестах, писать helper-функции для проверки кода, использовать статический анализ и контрактные проверки.
4) Сравнение по критериям тестируемости
- Явность API: суммарные типы > checked exceptions > unchecked exceptions > return codes.
- Статическая гарантия покрытия: суммарные типы (компилятор) единственные, кто принуждает обработку.
- Легкость имитации/фальсификации ошибок: исключения и sum-types просты; return codes просты, но часто не очевидны.
- Управление побочными эффектами и состоянием после ошибки: проще с чистыми функциями и sum-types.
- Сложность покрытия комбинаторики ошибок: все модели подвержены росту количества сценариев (в худшем случае ~$2^n$), но sum-types + композиция уменьшают практическую нагрузку.
5) Практические рекомендации
- Предпочитайте явные типы ошибок (или checked exceptions) когда хотите высокое покрытие и надежность.
- Для C-кода используйте обёртки/контракты, static analysis, и тесты, которые проверяют, что каждый возврат кода корректно обрабатывается.
- В тестах моделируйте все ветви: успешные пути, все известных типов ошибок и неожиданные/ограниченные ресурсы.
- Используйте mock/fake для генерации ошибок, property testing для инвариантов и mutation testing/linters для поиска игнорируемых ошибок.
Короткий вывод: наиболее просты для тестирования и покрытия ошибок — $Result<T,E>$/$Option<T>$ (явность + строгая типизация); checked exceptions дают частичную помощь; unchecked exceptions и return codes наиболее уязвимы к незаметным ошибкам и требуют больше дисциплины и инструментов для надёжного тестирования.