Pull to refresh

Comments 2

Просто используйте мутации.
Я использую - получаю математически доказанные корректные тесты и код. Модель доходит до момента, когда пишет - я не могу повысить порог покрытия и исправления мутаций, потому что мутации делают уже эквивалентные замены (логика кода не меняется от такой мутации)

Да, это требует времени и ресурсов модели, но результат того стоит.

Еще способ - разделять модель для тестирования и модель для разработки. И можно еще третий контекст отдельно держать - модель - судья.

Sign up to leave a comment.

Articles