Назад до новин
БезпекаAI Understanding брифінг

FuzzingBrain-Bench перевіряє, чи можуть LLM виявляти несподівані збої програмного забезпечення

Новий контрольний тест arXiv оцінює, чи можуть великі мовні моделі виявляти окремі збої в програмному забезпеченні з відкритим кодом, не маючи попередньо визначеної цілі вразливості. У тестах авторів Claude Opus 4.8 викликав збої в 60 із 77 завдань, але отримав лише 196 із можливих 579 балів.

5 min readRead the primary source
Primary-source image accompanying FuzzingBrain-Bench tests whether LLMs can find unexpected software crashes
Першоджерельний документДжерело записано
Видавець
arxiv.org
Посилання на джерело
arxiv.orghttps://arxiv.org/abs/2608.25158
Тип джерела
Первинний документ — офіційне оголошення, папір, документ або сторінка першої сторони, яку ми безпосередньо читаємо.
КонтекстЗрозумійте це за 60 секунд

Почніть тут

Ключові терміни

Пам'ять (Пам'ять агента)
Збережений контекст агент штучного інтелекту використовує на етапах або сеансах для покращення безперервності.
Еталон
Стандартизований тест або набір даних, який використовується для вимірювання та порівняння продуктивності моделі.
Перевір себеВікторина «Пояснення моделей ШІ».

Що сталося

Дослідники представили FuzzingBrain-Bench V1, еталонний тест, призначений для вимірювання виявлення відкритих помилок за допомогою великих мовних моделей. Замість того, щоб просити модель відтворити відому вразливість, бенчмарк надає їй проект із відкритим кодом і систему тестування з дезінфікуючими інструментами всередині автономного образу Docker. Модель має генерувати вхідні дані, які викликають якомога більше чітких сигнатур збою.

Автори описують FuzzingBrain-Bench V1 як оцінку здатності моделей штучного інтелекту виявляти помилки у програмному забезпеченні з відкритим кодом без попередньо визначеної цілі. Кожне завдання містить проект і дезінфікуючий пристрій у автономному образі Docker. Завдання моделі полягає в створенні вхідних даних, які викликають аварії через цей джгут. Це змінює оціночне запитання з «Чи може модель відтворити цю відому помилку?» до «Скільки різних помилок може виявити модель у незнайомій системі тестування?»

Тест оцінює кожне завдання відповідно до кількості чітких сигнатур збою. Оцінка обмежена заздалегідь визначеним максимумом і зважена коефіцієнтом складності. Перша версія містить 77 викликів, взятих із 43 проектів з відкритим кодом: 36 викликів C, 32 виклики C++ і дев’ять викликів Java/JVM. Стаття є 21-сторінковим препринтом arXiv, поданим 25 серпня 2026 року, і автори кажуть, що тестовий корпус і джгути є загальнодоступними.

Дослідники оцінили Claude Haiku 4.5, Claude Sonnet 4.6 і Claude Opus 4.8 за повним тестом. Згідно з джерелом, Opus 4.8 показав найкращі результати, викликавши збої в 60 із 77 викликів і отримавши 196 балів із 579. Жодна з трьох моделей не викликала збій у 13 викликах. Джерело не надає повних балів двох інших моделей і не пояснює, які окремі проекти врахували результати.

Деталі джерела: arxiv.org ↗

Чому це важливо

Еталонний тест усуває обмеження в багатьох існуючих оцінках: модель може виявити дійсну помилку, яка не відповідає вразливості, вибраній розробником еталонного тесту, але не отримати кредит. Більш відкритий тест міг би дати корисну оцінку ефективності систем штучного інтелекту під час виявлення вразливостей і тестування програмного забезпечення, а також показувати, де їхні явні можливості залишаються неповними.

Відкрите оцінювання має значення, оскільки заздалегідь визначені цілі можуть звузити те, що вважається успіхом. Якщо модель генерує дійсний збій, який відрізняється від цільового збою, цільовий контрольний тест може розглядати результат як неправильний або нерелевантний. FuzzingBrain-Bench намагається охопити ширшу здатність виявлення, підраховуючи чіткі сигнатури збоїв, а не вимагаючи одного конкретного введення для підтвердження концепції. Така конструкція може зробити порівняння більш інформативними для розробників, які оцінюють інструменти тестування за допомогою ШІ.

Результати також накладають обмеження на твердження щодо поточного кодування ШІ та можливостей безпеки. Opus 4.8 викликав принаймні один збій у більшості завдань, але його загальна оцінка склала 196 із 579, і всі три протестовані моделі не спромоглися запустити збій у 13 завданнях. Збій є свідченням того, що введення спричинило збій інструментальної програми; сам по собі він не є доказом дистанційно використаної вразливості безпеки, дефекту високого ступеня серйозності чи корисного виправлення. Таким чином, тест вимірює один важливий етап відкриття, а не повне дослідження вразливості.

Загальнодоступний корпус і набір джгутів могли б дати дослідникам безпеки програмного забезпечення загальний тестовий стенд для вивчення поведінки моделі. Це може допомогти виявити, чи знаходять системи лише очевидні збої, чи можуть вони досліджувати незнайомі шляхи коду та як змінюється їхня продуктивність залежно від можливостей моделі чи розробки завдань. Але джерело є єдиним звітом про порівняльний аналіз і не встановлює, що його рейтинг буде зберігатися в інших сховищах, мовах, системах, версіях моделі чи робочих середовищах.

Interactive Mechanism

Інтерактивний механізм: як він насправді працює

Дослідіть технологію, що лежить в основі цієї розробки, в інтерактивному режимі.

Document Size:128K tokens
Needle Placement Depth (Location in document):50% into text
Attention Context Buffer Map:
Target Fact (50%)
Equivalent Pages~320Standard book pages
Retrieval Accuracy99.9%Needle recall score
RAM / KV Cache5.1 GBMemory overhead
Prompt CachingActive~80% discount on reuse
Core takeaway: Million-token context windows allow querying whole codebases or legal archives in one prompt. However, KV cache memory scales with context length, making prompt caching crucial for real-time production.
Інтерактивна перевірка концепції+10 Points
AI Models Explained Quiz

Which component of an AI application is the machine-learning model itself?

Що дивитися далі

Основні питання полягають у тому, чи дає тест повторювані результати для моделей і дослідницьких груп, наскільки сигнатури збоїв відповідають справжнім помилкам у програмному забезпеченні чи вразливостям системи безпеки та чи передається продуктивність за межі вибраних проектів з відкритим кодом. Джерело повідомляє про контрольні показники, але не встановлює можливість використання, серйозність, виправлення, реальні інциденти чи незалежну перевірку.

Ключовим подальшим кроком є ​​незалежна реплікація. Джерело каже, що корпус і джгути є загальнодоступними, але не повідомляє про результати сторонніх команд. Повторний запуск викликів із фіксованими версіями моделі, бюджетами та дозволами інструментів допоможе визначити, чи є звітний рейтинг надійним чи чутливим до підказок, часу пошуку, інфраструктури та інших варіантів впровадження.

Дослідникам і практикам потрібно буде перевірити, як цей тест перетворює збої на результати, важливі для безпеки. Джерело не повідомляє, чи збої були перевірені людьми, зіставлені з відомими проблемами, призначені рівні серйозності чи перетворені на виправлення. У ньому також не зазначено, як обробляється повторювана поведінка, окрім використання чітких сигнатур збоїв у еталонному тесті. Ці деталі визначатимуть, наскільки оцінка відповідає практичній цінності пошуку помилок.

Покриття тесту є ще одним обмеженням для моніторингу. Його 77 завдань походять від 43 проектів з відкритим кодом і зосереджуються на програмному забезпеченні C, C++ і Java/JVM. Джерело не встановлює продуктивність на інших мовах, пропрієтарних системах, більших кодових базах, безпечному програмному забезпеченні чи виробничих службах. Він також не повідомляє про вартість, час, доступ до інструментів, показники хибно-позитивних результатів або те, чи можуть згенеровані вхідні дані пошкодити системи поза ізольованим середовищем Docker.

Тому результати авторів слід розглядати як раннє вимірювання, а не як доказ того, що ШІ може незалежно захищати програмне забезпечення. Найкорисніші наступні кроки включатимуть ширші набори завдань, прозорі результати для кожної моделі, перевірку виявлених дефектів людиною, порівняння з усталеними інструментами фаззингу та дослідниками, а також перевірку того, чи можуть моделі пояснити, відтворити та допомогти усунути виявлені збої. Поки ці результати не будуть доступні, практична цінність еталонного тесту є найбільш очевидною як спосіб зробити заяви щодо тестування безпеки ШІ більш вимогливими та порівнянними.

Пов’язані посібники та вікторини

Пояснення моделей AIАгенти ШІЕтика ШІНавчання ШІПеревірте свої знання — пройдіть безкоштовну вікторину зі штучним інтелектомЗнайдіть термін ШІ в нашому глосаріїДотримуйтесь трекера регулювання ШІ
Знайшли це корисним?