property-based-testing

4 статьи

24 мая 2026 г.

100 прогонов — это ложь: как на самом деле определять размер property-based тестов

Стандартные 100 примеров в property-based testing — это социальный компромисс, а не статистическая стратегия. Вот как выбрать количество прогонов, соответствующее вашим потребностям в уверенности и бюджету CI.

23 мая 2026 г.

Тесты на основе свойств в Rust находят баги, которые пропускают ваши юнит-тесты

Тестирование на примерах покрывает только те входные данные, о которых вы подумали. Тестирование на основе свойств генерирует случайные данные, проверяет инварианты и сокращает ошибки до минимальных контрпримеров.

deep-dives rust property-based-testing quickcheck proptest

16 мая 2026 г.

AI Safety Stack: types, contracts, property tests и mutation gates

Если вы хотите, чтобы AI-generated code выдерживал production, одного code review недостаточно. Нужен многослойный safety stack: от type constraints до mutation testing и runtime containment.

ai-engineering safety-stack types design-by-contract property-based-testing mutation-testing

15 мая 2026 г.

Почему сильные инженерные идеи оставались нишевыми, пока AI не сделал их экономически реальными

Design by contract, property-based testing, mutation testing и model checking не были плохими идеями. Их было слишком дорого поддерживать с точки зрения специализированных знаний. AI меняет это уравнение.

ai-engineering software-reliability design-by-contract property-based-testing mutation-testing