Что тестируют при верификации программного обеспечения?

Верификация проверяет, соответствует ли система техническим требованиям и спецификациям («Мы строим систему правильно?»). Основные объекты тестирования:

1. Функциональность — корректность работы функций согласно ТЗ.

   # Пример: проверка валидации логина
   def test_login_length():
       assert is_valid_login("user123") == True   # корректная длина
       assert is_valid_login("ab") == False       # слишком короткий

2. Бизнес-логика — соответствие реализации заявленным бизнес-правилам.
3. Интеграции — корректность взаимодействия с внешними системами и API.
4. Безопасность — работа механизмов аутентификации, авторизации, защита данных.
5. Документация — соответствие кода технической документации (например, архитектурным решениям).

Ключевое отличие от валидации (проверка, что система решает правильную бизнес-задачу) — верификация фокусируется на технической корректности реализации.