Операция выполнена!

info@vsetut.pro

Стать автором

Вернуться

Мой тестовый харнесс нашёл баг в моей же реализации Raft. Рассказываю, как именно

18.08.2026 09:38:56 | Хабр

Хабы: Распределённые системы, Тестирование IT-систем, Open source, TypeScript, Ненормальное программирование

Набор тестов, который всегда зелёный, содержит непроверяемое допущение: он может ловить ошибки, а может не смотреть вообще — по цвету это неразличимо.

Я писал реализацию Raft на TypeScript и построил вокруг неё музей багов: семь экспонатов, каждый выключает ровно одно правило алгоритма и требует, чтобы харнесс поймал это — с сидом и с именем нарушенного свойства.

Один экспонат появился не по плану. Харнесс нашёл баг в самой реализации: все пять свойств безопасности держались, логи совпадали, никто не падал — и на двадцать пятом сиде две реплики разъехались навсегда. Разбираю, почему так вышло, как устроен харнесс и чего этот метод не доказывает.

Читать разбор

Подробнее

Читайте также

Что просить у пользователя и как это хранить, доступ который можно забрать
18.08.2026 09:34:55 | Хабр

Федеральные операторы получат сети лишившихся лицензий провайдеров
18.08.2026 09:29:24 | it-world

В России начались продажи вертикальных пылесосов Trouver S7 и S7 Ultra Aqua
18.08.2026 09:25:49 | ferra.ru

ИАД x Сайбокс
18.08.2026 09:21:23 | Хабр

Разработчикам ИИ придется платить за авторский контент
18.08.2026 09:07:43 | it-world

[Перевод] Утверждение «Код — это не самое сложное» оскорбляет всех программистов
18.08.2026 09:01:24 | Хабр

Как собрать AI-контур на VPS: подписки ChatGPT и Claude, OmniRoute, LiteLLM и разработка без VPN
18.08.2026 09:00:23 | Хабр

[Перевод] DSL позволяют надежно использовать LLM
18.08.2026 08:56:01 | Хабр

Приклеить или прибить: как мы создавали наклейки на сервер
18.08.2026 08:52:24 | Хабр

Собеседование: как не дать волнению говорить за вас
18.08.2026 08:50:22 | Хабр

GOFFEE навынос: разбираем новые техники шпионской группировки
18.08.2026 08:45:04 | Хабр

Инженеров ставят у доски: как ИТ-компаниям сотрудничать с вузами
18.08.2026 08:41:23 | Хабр

Книга: «LLM на практике. Большие языковые модели от идеи до внедрения»
18.08.2026 08:39:50 | Хабр

GridStack: цена выбора API для nested grids
18.08.2026 08:38:56 | Хабр

СМИ: Samsung выпустит премиальные наушники для конкуренции с AirPods Max
18.08.2026 08:28:11 | ferra.ru

День 1637: крупные банки в первой половине 2026 года нарастили выдачу автокредитов на 35-40%
18.08.2026 08:17:40 | vc.ru

[Перевод] Теневой ИИ в CI/CD: моделирование угроз на пути от ноутбука разработчика до Kubernetes
18.08.2026 08:01:19 | Хабр

Новинки серверного железа в июле: новые процессоры AMD EPYC 9006 Venice и тотальное жидкостное охлаждение
18.08.2026 08:00:19 | Хабр

Один разработчик, 14 агентов, восемь месяцев: личный опыт Tiny Teams и что из этого вышло
18.08.2026 08:00:17 | Хабр

Почему Codex тратит токены даже когда просто ждёт: что происходит внутри Harness
18.08.2026 07:55:44 | Хабр

Диалоги ИИ
18.08.2026 07:49:49 | Хабр

Бенчмаркая пагинацию: Where перед Skip — и метод в 1323 раза медленнее
18.08.2026 07:43:03 | Хабр

Edtech-конференции осени 2026: куда идти и сколько стоит
18.08.2026 07:40:17 | Хабр

[Перевод] Маршрутизация моделей кажется простой задачей. Но только до продакшна
18.08.2026 07:31:16 | Хабр

Киберрасследования без мифов: OSINT, утечки данных, блокировки и цифровая анонимность – интервью с Игорем Бедеровым
18.08.2026 07:27:37 | Хабр

Ретранслятор LoRa своими руками: увеличиваем дальность связи без лишней мощности
18.08.2026 07:26:15 | Хабр

Мои любимые CSS-трюки для фронтендеров, которые не используют Tailwind
18.08.2026 07:01:13 | Хабр

Правило 10 000 часов в мире ИИ: перестает ли упорный труд быть гарантией успеха?
18.08.2026 07:01:12 | Хабр

Семь приемов работы в Word, которые превратят вашу боль в радость
18.08.2026 07:01:12 | Хабр

Генерация тестовых данных с ИИ: руководство для ручного тестировщика
18.08.2026 07:01:12 | Хабр

Софт для интегратора: сметы, проектирование щитов, настройка оборудования и Home Assistant
18.08.2026 07:00:12 | Хабр

Лимит УСН 2026: при каком обороте появится НДС, а при каком — слет с упрощенки
18.08.2026 07:00:11 | Хабр

Платформа GameDevAdvisor
18.08.2026 07:00:11 | Хабр

Если вас попросили уйти
18.08.2026 06:59:43 | Хабр

CIO CAMP 2026: ИТ-директора обсудили экономику ИИ, агентов и автоматизацию
18.08.2026 06:56:13 | Хабр

Смотреть все

НОВОСТИ

«Единая Россия» требует усилить защиту персональных данных пассажиров
18.08.2026 14:00:25 | Life.ru

Перед концертами Уэста в Петербурге резко выросли бронирования отелей
18.08.2026 14:00:16 | РБК

Лерчек могут заменить условный срок на реальный в случае нарушения запретов
18.08.2026 13:59:42 | ТАСС

Наблюдатели из 55 стран подтвердили присутствие на выборах депутатов Госдумы
18.08.2026 13:58:42 | ТАСС

В Кривом Роге поврежден промышленный объект
18.08.2026 13:58:13 | ТАСС

Васильев: новый президент IBU может внести вопрос об РФ в повестку конгресса
18.08.2026 13:58:02 | ТАСС

Политолог Орсини объяснил, что стало "петлей для Зеленского"
18.08.2026 13:58:00 | Российская Газета

Кировская область рассчитывает на рост товарооборота с Китаем в два раза
18.08.2026 13:57:37 | ТАСС

В Петербурге выписали первый штраф за видео последствий атаки дронов ВСУ
18.08.2026 13:56:39 | Life.ru

В Роскачестве рассказали, сколько россиян покупают товары местного производства
18.08.2026 13:56:24 | ТАСС

«Ростех» создал двигатель для небольших самолётов, в том числе АН-2 и АН-3
18.08.2026 13:54:34 | Life.ru

Захарова: Япония молчит о ядерных ударах США
18.08.2026 13:54:32 | ТАСС

«Ковёр» накрыл небо Москвы: Две сотни рейсов задержали и отменили в аэропортах
18.08.2026 13:54:20 | Life.ru

Минобороны сообщило о сбитом украинском самолете МиГ-29
18.08.2026 13:54:18 | РБК

В России предложили альтернативу СИЗО
18.08.2026 13:54:11 | Lenta.ru

Посол России раскрыл причину визита Зеленского в Сербию
18.08.2026 13:53:38 | Lenta.ru

Генсек ОАНА указал на "поток лжи" в СМИ, сопровождающий каждый саммит РФ и КНР
18.08.2026 13:53:28 | ТАСС

В Петербурге хулиган нарвался на борца и прилёг на асфальт в ожидании полиции
18.08.2026 13:53:26 | Life.ru

В Московском регионе 19 августа ожидается гроза
18.08.2026 13:53:09 | ТАСС

Съемки заключительной части «Форсажа» начнутся в декабре
18.08.2026 13:52:47 | Коммерсантъ

У пострадавших от нападения в Уфе сестер отмечают положительную динамику
18.08.2026 13:52:26 | ТАСС

В России высказались о живом исполнении «Седой ночи» Канье Уэстом
18.08.2026 13:52:17 | Lenta.ru

Названа цель массовой атаки дронов ВСУ на Москву
18.08.2026 13:52:10 | Lenta.ru

С "Двача" взыскали 139 тыс. рублей по делу об авторских правах
18.08.2026 13:51:39 | ТАСС

Google оштрафовали на 3,8 млн рублей за отказ удалить запрещенную информацию
18.08.2026 13:51:24 | ТАСС

Стало известно об очередных испытаниях «Союза-5»
18.08.2026 13:50:23 | Lenta.ru

Названо одно из препятствий для переговоров России и США по Украине
18.08.2026 13:50:06 | Lenta.ru

В Катаре назвали ложными заявления Ирана об удерживаемых в эмирате пилотах
18.08.2026 13:49:59 | ТАСС

Более двух с половиной тысяч школ примут ребят в Беларуси
18.08.2026 13:49:00 | Российская Газета

Новый спутник будет искать сигнал возрастом 13,5 миллиардов лет с обратной стороны Луны
18.08.2026 13:48:57 | TechCult.ru

ВВП Белоруссии вырос до максимума
18.08.2026 13:48:50 | Lenta.ru

На западе Украины мобилизовали священника канонической УПЦ
18.08.2026 13:48:15 | ТАСС

Культурные учреждения Москвы проведут около 250 мероприятий ко Дню флага
18.08.2026 13:48:09 | ТАСС

В Москве и Подмосковье ввели жёлтый уровень опасности из-за грозы и ветра
18.08.2026 13:47:34 | Life.ru

Строил набережную и мост через Волгу: В Саратове в 99 лет умер ветеран Пётр Котельников
18.08.2026 13:47:31 | Life.ru

Все новости

ВСЕ НОВОСТИ

ПИШИТЕ

Техническая поддержка проекта ВсеТут

info@vsetut.pro

Copyright © 2026 - vsetut.pro