Тест проходит даже с багом: что показал эксперимент Дэна Лу
Агент проверял разворот на палиндроме, а порядок четырех потоков - на четырех одинаковых входах. Тесты проходили и с ошибкой. В эксперименте Дэна Лу указания использовать TDD, фаззинг и формальные методы не дали убедительного общего выигрыша над контролем. Разбираю три механизма бесполезных проверок и показываю исполнимый пример: как намеренно внести конкретный баг и убедиться, что тест его обнаруживает.
https://habr.com/ru/articles/1088808/
#кодовые_агенты #тестирование #TDD #propertybased_testing #формальные_методы #Claude_Code #Codex #specdriven_development