Динамический анализ кода проверяет поведение агентной правки во время выполнения

Что такое динамический анализ исходного кода? Программу запускают с выбранными входными данными и наблюдают изменённый участок вместе с зависимыми операциями.

Статический анализ исследует код без выполнения. Линтер способен поймать забытый await, если нужное правило включено.

Запуск проверяет конкретный путь. Инженеру нужен след того, как запрос дождался ответа и сохранил значение, которое обещал агент.

Открытая страница подтверждает, что экран отрисовался. Она ещё не подтверждает сохранение данных или завершение отменённой операции.

Мы проверяли машину агентов на собственном сайте. В её истории есть передача результата раньше готовности и процесс, живой после сигнала таймаута.

Эти поломки разбирали по журналам выполнения и повторным запускам. Они помогают выбрать сценарии приёмки, но не доказывают применение анализатора.

Общий вопрос для этих историй: что произошло после вызова, после задержки и после отмены? Ответ находится в следе самой операции.

Сообщение агента «исправлено» описывает его вывод. Для приёмки нужен результат, который подтверждает этот вывод.

Начинать нужно с обещанного поведения. Установка анализатора ещё не определяет, какой результат следует принять.

В задаче для агента фраза «поправить асинхронность» оставляет результат неопределённым. Нужны ожидаемый ответ и признак завершения.

Начало вызова, ответ и переданное дальше значение связывают одним идентификатором. Такой след выполнения называют трассой.

Трасса объясняет порядок операций. Проверка данных подтверждает результат: статус запроса «успех» ещё не доказывает нужное содержимое записи.

Браузерная трасса Playwright показывает действия, запросы и ответы. Она помогает связать клик с тем, что отправил браузер.

Для внутренней очереди и записи на сервере нужны серверные события или трассировка. Браузер не видит весь путь обработки.

Пустая трасса не доказывает отсутствие операции. Сборщик мог пропустить запрос или не охватить нужную функцию.

В распределённой системе порядок восстанавливают по связанным событиям. Сортировка логов по несогласованным часам не доказывает причинность.

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

Критерий задаёт требование. Старое поведение само по себе не эталон: оно тоже могло нарушать это требование.

Быстрый ответ оставляет таймаут непроверенным. Для обёртки нужны управляемая задержка, ошибка зависимости и отмена в середине операции.

AbortController в Node.js подаёт сигнал отмены поддерживающему его API. Остановку связанной работы и отсутствие поздних записей проверяют отдельно.

DAST проверяет уязвимости работающего веб-приложения. По OWASP сканер действует через внешние интерфейсы и проверяет поддерживаемые атаки.

Сканер не получает автоматически знание об обещании агента. Сохранение нужного значения требует своего сценария и критерия.

AddressSanitizer ловит ошибки обращения к памяти в инструментированной программе. В Node.js снимки кучи помогают исследовать удерживаемые объекты.

Снятие кучи Node.js останавливает главный поток и требует дополнительной памяти. Обе версии сравнивают при одинаковой настройке наблюдения.

CTO нужен воспроизводимый артефакт: версия, вход, настройки, критерий и след выполнения. Скриншот зелёной сборки его не заменяет.

Решение о выпуске и ответственность за ошибку остаются у людей, которые ведут проект. Агент может подготовить сценарий и разобрать трассу.

Принимающий инженер сверяет вывод с требованием. В вердикте он называет проверенный путь и то, что осталось непроверенным.

Найденный сценарий становится проверкой следующей правки. В правилах для агентов закрепляют её запуск при изменении этого участка.

Команда может вести такую проверку сама. Отдельная задача включает сценарий, инструментированный запуск и разбор поведения изменённого участка.

В разработке по подписке «Один проект» стоит 250 000 ₽/мес на 08.10.2026. Это цена подписки, а не отдельного аудита всего продукта.

Для конкретной правки можно обсудить сценарий проверки. Вход для разговора: обещание агента, видимый результат и условие остановки.