RU

Тест проходит даже с багом: что показал эксперимент Дэна Лу

Агент проверял разворот на палиндроме, а порядок четырех потоков - на четырех одинаковых входах. Тесты проходили и с ошибкой. В эксперименте Дэна Лу…

кодовые агентытестированиеTDDproperty-based testingформальные методыClaude CodeCodexspec-driven development
Habr
RU

Нейросеть написала PR, тесты зелёные, а поведение изменилось. Как я научил CI это ловить

Модель «упрощает» валидацию. Линтер молчит, тесты проходят, ревьюер видит аккуратный дифф в одну строку и жмёт Approve. Через неделю выясн…

pythonproperty-based testinghypothesisdifferential testingcode reviewgithub actionsllmollamaai-генерированный кодci-cd
Habr
RU

[Перевод] Claude против краевых случаев: как LLM-агент нашёл баги в NumPy и других Python-библиотеках

Исследователи Anthropic собрали LLM-агента, который читает код Python-библиотек, сам формулирует свойства, пишет property-based тесты на Hypothesis…

property-based testingтестирование на основе свойствClaudeLLM-агентыhypothesisавтоматизация тестированияпоиск баговpython-библиотекиNumPy