Мутационное тестирование
Тестирование · испорченная копия
создано · обновлено
Способ проверить сами проверки: человек или агент нарочно портит копию кода или модели, например убирает одно условие, и смотрит, заметят ли это автоматические тесты и правила. Если порча прошла незамеченной, проверка ничего не проверяет. В моделях на Quint такие копии называют мутантами.
Источник: Википедия: мутационное тестирование
Подробнее: Проверка проверок в моделях на Quint
Где встречается · 2
- Vitest или Jest · Спеки и контекст
- Как найти состояние гонки (race condition) в коде · Спеки и контекст