Тестирование программного обеспечения: проверка с использованием кода