Содержание слайдов

1. 1. Dark factories: независимая приёмка

   Кто проверяет код, который никто не читает

2. 2. Вердикт требует независимого основания

   Контракт, проверяющий, среда проверки и способность менять систему

3. 3. Человек задаёт приемлемое поведение

   В строгой модели регулярное чтение реализации исчезает

4. 4. Самопроверка допускает общий слепой участок

   Одна неверная предпосылка попадает и в код, и в тест

5. 5. Исполнитель не переписывает собственный экзамен

   Окончательные сценарии живут вне его прав записи

6. 6. Скрываем пробы, сохраняем требования открытыми

   Обещанное поведение доступно до запуска

7. 7. Точный ответ проверяем точно

   Детерминированный оракул, модель-судья и эксперт решают разные задачи

8. 8. Satisfaction относится к наблюдаемым траекториям

   Доля вероятно удовлетворяющих пользователя исходов зависит от сценариев

9. 9. Двойник делает сбои воспроизводимыми

   Поведенческая модель внешнего API даёт управляемые состояния

10. 10. Симулятор тоже создаёт слепые участки

    Полезная модель внешнего сервиса имеет проверяемые границы

11. 11. Фабрика опирается на систему проверки

    Спецификация, агент, сценарии и среда образуют замкнутый цикл

12. 12. Attractor публикует спецификации реализации

    NLSpecs: оркестратор, агентный цикл и унифицированный клиент

13. 13. Проверяющий возвращает дефект исполнителю

    Factory Missions отделяет исполнение, проверку и управление

14. 14. Валидация занимает заметную долю работы

    Опубликованный Slack-подобный проект: 16,5 часа всего

15. 15. Повтор запроса обнаруживает лишний эффект

    T1: один идентификатор, повторная доставка, одно обещанное действие

16. 16. Отчёт возвращает факт, а не готовое решение

    Наблюдение, ожидание, версия и воспроизведение направляют исправление

17. 17. Текущая корректность не гарантирует развиваемость

    Опыт lights-off-разработки нужно читать с датой и контекстом

18. 18. Следующая задача проверяет наследство предыдущей

    T4 начинается с собственного принятого результата T2

19. 19. Карта покрытия важнее общего зелёного статуса

    Автоматика, экспертная оценка и непроверенные свойства

20. 20. Доверие строится вокруг границ проверки

    Контракт, независимый вердикт, управляемая среда и следующий шаг