testing

8 статей

23 авг. 2026 г.

Символическое исполнение нашло целочисленное переполнение, которое пропустило моё покрытие тестами в 94%

Ваши модульные тесты проверяют конкретные входные данные. Символическое исполнение проверяет каждый возможный ввод. Вот как это работает, чего это стоит и с чего начать.

16 авг. 2026 г.

Metamorphic testing нашёл 147 багов в компиляторах и дефект в системе самоуправляемого автомобиля. Вот как это работает.

Metamorphic testing выявил реальные баги в GCC, LLVM, компиляторах шейдеров Vulkan и симуляторах ADAS. В этом посте объясняется техника с рабочим кодом и показано, куда она вписывается в ваш набор тестов.

metamorphic-testing case-study production-bugs testing

14 авг. 2026 г.

Большинство metamorphic relations бесполезны. Вот как выбрать хорошие.

Не все metamorphic relations ловят баги. Слабые соотношения дают ложную уверенность, а сильные находят реальные дефекты. Вот как отличить их и построить набор соотношений, который реально работает.

metamorphic-testing metamorphic-relations testing oracle-problem

13 авг. 2026 г.

Как тестировать код, когда я не знаю правильного ответа?

Metamorphic testing позволяет проверять корректность кода, не зная точного ожидаемого вывода. Вот как это работает, когда чего-то не хватает, и как начать использовать.

metamorphic-testing oracle-problem testing ml

20 июл. 2026 г.

Я перестал копировать код в документацию, храня тесты, код и прозу в одном Markdown-файле

Literate programming поддерживает синхронизацию документации, тестов и реализации, делая Markdown-файл единственным источником правды. Вот как реализовать это тридцатью строками на Python.

literate-programming documentation testing single-source-of-truth

7 июл. 2026 г.

Ожидание race conditions — ужасная стратегия тестирования

Почему model checking превосходит дни продакшен-рантайма в поиске concurrency-багов и как применить его к собственному коду.

model-checking race-conditions concurrency testing

26 мая 2026 г.

Ваши unit tests проходят, но данные всё равно исчезают

Mock-тесты базы данных проверяют синтаксис SQL, но не то, переживут ли строки сбои, конкурентные записи или несоответствие схемы. Вот как тестировать persistence по-настоящему.

deep-dives database testing persistence

25 мая 2026 г.

Тестирование Redux без утопания в мок-экшенах

Мокирование каждого экшена Redux превращает ваши тесты в валидатор ченджлога. Вот как тестировать стор с реальными переходами состояния.

deep-dives redux testing state-management