Статья: ИСПОЛЬЗОВАНИЕ БОЛЬШИХ ЯЗЫКОВЫХ МОДЕЛЕЙ ДЛЯ МУТАЦИИ ВСТРОЕННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В ИССЛЕДОВАНИЯХ БЕЗОПАСНОСТИ ПАК (2026)

Читать онлайн

В работе представлен метод активного тестирования программно-аппаратных комплексов с целью оценки доверия к ним в контексте надежности и предсказуемости функционирования. В условиях недостаточного доверия к производственным процессам возрастает вероятность внедрения недокументированных функций или скрытых отклонений в работе систем, которые невозможно обнаружить с помощью исключительно статических или формальных проверок. Поэтому большое значение приобретают методы, позволяющие эмпирически анализировать поведение программно-аппаратных комплексов при выполнении в том числе модифицированного программного обеспечения. Предлагаемый метод заключается в последовательном формировании и внедрении множества мутированных версий встроенного программного обеспечения программно-аппаратного комплекса с использованием больших языковых моделей. Модификации затрагивают ключевые функциональные элементы программы, включая ее структуру, логику исполнения, управление потоками данных и параметры взаимодействия с внешними устройствами. Поведение программно-аппаратного комплекса при выполнении каждой из модифицированных версий программного обеспечения регистрируется и анализируется на основе комплекса показателей. В частности, оцениваются стабильность выполнения, частота возникновения сбоев и отказов, изменения в выходных данных, появление новых или нетипичных состояний системы, поведение сетевых интерфейсов, распределение и динамика использования аппаратных ресурсов (памяти, процессорного времени, периферийных устройств), а также другие метрики, отражающие состояние объекта исследования. Метод предназначен для применения в процессе сертификации, верификации и приемочного тестирования программно-аппаратных комплексов и предоставляет дополнительный уровень контроля, способствующий выявлению скрытых отклонений от эталонного поведения и формализованной оценке уровня доверия к комплексу.

Ключевые фразы: активный анализ безопасности, мутационное тестирование, поведенческие аномалии, аппаратные закладки, аппаратно-программное взаимодействие, встроенные системы
Автор (ы): Овасапян Тигран Джаникович (Ovasapyan T. D.), Грибков Никита Андреевич (Gribkov N. A.), Чернецкая Марина Михайловна (CHernetskaya M. M.)
Журнал: БЕЗОПАСНОСТЬ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ

Предпросмотр статьи

Идентификаторы и классификаторы

SCI
Информатика
УДК
004.054. Тестируемость, оцениваемость
Для цитирования:
ОВАСАПЯН Т. Д., ГРИБКОВ Н. А., ЧЕРНЕЦКАЯ М. М. ИСПОЛЬЗОВАНИЕ БОЛЬШИХ ЯЗЫКОВЫХ МОДЕЛЕЙ ДЛЯ МУТАЦИИ ВСТРОЕННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В ИССЛЕДОВАНИЯХ БЕЗОПАСНОСТИ ПАК // БЕЗОПАСНОСТЬ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ. 2026. № 1, ТОМ 33
Текстовый фрагмент статьи