Что такое статическое тестирование

Статическое тестирование — это проверка артефактов разработки (кода, требований, дизайна) без запуска программы. Оно помогает выявить дефекты на ранних этапах, снижая стоимость их исправления.

Примеры:

• Ревью кода (ручной анализ)
• Анализ требований на полноту и противоречивость
• Использование статических анализаторов (например, SonarQube для проверки кода на уязвимости)

Пример кода с потенциальной ошибкой:

def calculate(a, b):
    return a / b  # Не проверяется деление на ноль

Статический анализатор или ревьюер заметит отсутствие проверки b != 0.

Плюсы:

• Раннее обнаружение багов
• Улучшение читаемости кода
• Снижение рисков в релизе