Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 3 (2024) Платформа автоматизации фаззинг-тестирования компонентов операционной системы Аннотация  PDF (Rus)  похожие документы
Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ
"... статье представлены результаты разработки автоматизированной платформы фаззинг-тестирования, а также ..."
 
Том 34, № 4 (2022) Автоматическое тестирование LLVM-программ со сложными входными структурами данных Аннотация  PDF (Rus)  похожие документы
Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ
"... тестов и поиска ошибок/уязвимостей в программах. Данная работа посвящена созданию практичного метода ..."
 
Том 35, № 5 (2023) Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов Аннотация  PDF (Rus)  похожие документы
Наталья Сергеевна ЕРОХИНА
"... Фаззинг-тестирование JavaScript интерпретаторов является одним из наиболее сложных направлений ..."
 
Том 31, № 3 (2019) Поиск уязвимостей при помощи статического анализа помеченных данных Аннотация  похожие документы
Никита Владимирович Шимчик, Валерий Николаевич Игнатьев
"... использовании или в ходе обычного тестирования. Многие такие ошибки могут быть использованы в качестве ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... программных дефектов. На этапе тестирования промышленного программного обеспечения выявляется значительное ..."
 
Том 33, № 6 (2021) Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА
"... к освобожденной памяти в стеке. Приведенное в статье тестирование показывает, что накладываемое описанными ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... только с циклами определенного вида, а на платформе ARM нет подходящей инструкции для организации циклов ..."
 
Том 29, № 6 (2017) Построение предикатов безопасности для некоторых типов программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев
"... . Тестирование предиката безопасности для уязвимости форматной строки, приводящей к переполнению буфера ..."
 
Том 32, № 5 (2020) Модельный подход к обеспечению безопасности и надежности Web-сервисов Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ
"... и др. Должны проводиться верификация и тестирование систем для поиска ошибок, возникающих при исключительных ..."
 
Том 27, № 5 (2015) Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone Аннотация  PDF (Rus)  похожие документы
И. В. Богомолов, А. В. Алексиянц, А. В. Шер, О. Д. Борисенко, А. И. Аветисян
"... Платформа OpenStack является лидирующим решением в области открытых облачных сред. К важнейшим ..."
 
Том 26, № 3 (2014) Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Платонов
"... направленных на минимизацию обменов данными с GPU. Представлены экспериментальные результаты тестирования ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... В данной статье представлены результаты проекта по созданию тестового набора для тестирования ..."
 
Том 36, № 3 (2024) Перспективы использования доверенной информационной аналитической системы на базе платформы Талисман с применением методов искусственного интеллекта для повышения эффективности эксплуатации сложных аппаратных систем Аннотация  PDF (Rus)  похожие документы
Филипп Аркадьевич КОЛОКОЛЬНИКОВ, Владимир Владимирович ОРЛОВ, Денис Юрьевич ТУРДАКОВ
"... импорта, автоматической обработки, структурирования и анализа информации на основе компонентов платформы ..."
 
Том 35, № 2 (2023) Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия Аннотация  похожие документы
Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ
"... быстрое и надежное тестирование и позволяют команде тестировать систему на нескольких платформах ..."
 
Том 37, № 5: сентябрь-октябрь Набор табличных данных RF-200 и тестирование производительности извлечения фактов из русскоязычных таблиц Аннотация  PDF (Rus)  похожие документы
Никита Олегович ДОРОДНЫХ, Александр Юрьевич ЮРИН
"... методологическое и программное обеспечение. Эффективное тестирование подобного обеспечения требует создания ..."
 
Том 38, № 1: январь-февраль Сбор данных для обучения и тестирования моделей сверхразрешения, работающих в реальном времени Аннотация  PDF (Rus)  похожие документы
Евгений Николаевич БОГАТЫРЕВ, Иван Андреевич МОЛОДЕЦКИХ, Халед Набиль АБУД, Дмитрий Сергеевич ВАТОЛИН
"... , собранный из видеороликов с платформы YouTube и охватывающий широкий спектр жанров и разрешений видео ..."
 
Том 31, № 3 (2019) Обзор языков для безопасного программирования смарт-контрактов Аннотация  похожие документы
Алексей Валерьевич Тюрин, Иван Владимирович Тюляндин, Владимир Мальцев, Яков Александрович Кириленко, Даниил Андреевич Березун
"... в различных областях, в том числе и в финансовых технологиях. Многие блокчейн-платформы поддерживают ..."
 
Том 35, № 5 (2023) О проблемах использования библиотеки OpenBLAS в продуктовом коде на RISC-V Аннотация  PDF (Rus)  похожие документы
Ксения Алексеевна ЗАЙЦЕВА, Валерия Валентиновна ПУЗИКОВА, Андрей Дмитриевич СОКОЛОВ
"... оптимизации под самый широкий спектр аппаратных платформ – Intel, AMD, ARM и RISC-V. Экосистема открытой ..."
 
Том 34, № 5 (2022) Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ
"... выполнения задачи. Функции из поверхности атаки могут быть причиной уязвимостей, поэтому им следует уделять ..."
 
Том 29, № 6 (2017) Мелкогранулярная рандомизация адресного пространства программы при запуске Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов, Е. А. Жаботинский, Ш. Ф. Курмангалеев, С. С. Гайсарян, А. В. Вишняков
"... Уязвимости программного обеспечения являются серьезной угрозой безопасности. Важной задачей ..."
 
Том 38, № 2: март-апрель Направленный фаззинг Rust и Go с помощью LibAFL-DiFuzz Аннотация  похожие документы
Тимофей Павлович МЕЖУЕВ, Дарья Алексеевна ПАРЫГИНА, Даниил Олегович КУЦ
"... и автоматическое тестирование имеют важное значение для минимизации уязвимостей перед выпуском программного ..."
 
Том 34, № 2 (2022) Подход автоматического управления объектным хранилищем с помощью Operator SDK и Custom Resource Definition Аннотация  похожие документы
Кирилл Максимович СТОНОЖЕНКО, Игорь Валерьевич НИКИФОРОВ, Сергей Михайлович УСТИНОВ
"... контейнеризированной версией СХД на платформе Kubernetes и интеграции оператора с пользовательской системой мониторинга ..."
 
Том 37, № 6: часть 3. ноябрь-декабрь Сопоставление номенклатур товаров ресторанов и поставщиков с помощью LLM – Case Study для ресторанного холдинга Аннотация  PDF (Rus)  похожие документы
Сеунгмин ДЖИН, Петр Борисович ПАНФИЛОВ, Александр Сергеевич СУЛЕЙКИН
"... , творог, сливочное масло), достигнув средней точности тестирования 83,8%. Архитектура решения использует ..."
 
Том 37, № 6: часть 2. ноябрь-декабрь Статический анализ языка Visual Basic .NET Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ
"... , содержащий суммарно более 2000 тестов. Тестирование производилось как на созданной выборке тестов, так ..."
 
1 - 24 из 24 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)