Компьютерные и информационные науки список научных статей
-
A SYSTEMATIC MAPPING STUDY OF ISO/IEC 29110 AND SOFTWARE ENGINEERING EDUCATION
This article presents a study of the publications made on the ISO/IEC 29110 standard in the university context, especially from the perspective of software engineering education. ISO 29110 is a life cycle profiles for very small entities on systems and software engineering standard, published in...
2023 / Vives L., Melendez K., Dávila A.ВАК -
РАЗРАБОТКА И РЕАЛИЗАЦИЯ СРЕДСТВА ТЕСТИРОВАНИЯ НА УСТОЙЧИВОСТЬ ХРАНИМЫХ ДАННЫХ ДЛЯ ПРИЛОЖЕНИЙ, ОСНОВАННЫХ НА ФАЙЛОВЫХ СИСТЕМАХ
Приложения, работающие с данными, обязаны обеспечивать их надежное хранение. Интерфейсы, доступные для работы с файловой системой, недостаточно специфицированы и требуют высокой квалификации для корректного использования, не приводящего к потере данных пользователей. В рамках данной работы был...
2023 / Родионов Д.К., Кузнецов С.Д.ВАК -
ИССЛЕДОВАНИЕ ВСТРЕЧАЕМОСТИ НЕБЕЗОПАСНО СЕРИАЛИЗОВАННЫХ ПРОГРАММНЫХ ОБЪЕКТОВ В КЛИЕНТСКОМ КОДЕ ВЕБ-ПРИЛОЖЕНИЙ
В данной статье проведено исследование встречаемости случаев использования небезопасной десериализации при взаимодействии между клиентским кодом и серверной стороной веб-приложения. Особое внимание было уделено сериализованным объектам, отправляемым из JavaScript-кода. Были выявлены характерные...
2023 / Миронов Д.Д., Сигалов Д.А., Мальков М.П.ВАК -
СРАВНЕНИЕ ГРАФОВЫХ ВЕКТОРНЫХ ПРЕДСТАВЛЕНИЙ ИСХОДНОГО КОДА С ТЕКСТОВЫМИ МОДЕЛЯМИ НА ОСНОВЕ АРХИТЕКТУР CNN И CODEBERT
Одним из возможных способов уменьшения ошибок в исходном коде является создание интеллектуальных инструментов, облегчающих процесс разработки. Такие инструменты часто используют векторные представления исходного кода и методы машинного обучения, заимствованные из области обработки естественного...
2023 / Романов В.А., Иванов В.В.ВАК -
ИССЛЕДОВАНИЕ СВОЙСТВ АЛГОРИТМА СЛАЙСИНГА ПРЕДИКАТА ПУТИ
Безопасный цикл разработки ПО (SDL) применяется для повышения надежности и защищенности программного обеспечения. В жизненный цикл программы добавляются этапы для проверки свойств ее безопасности. Среди прочего повсеместно применяется фаззинг-тестирование, которое позволяет обнаруживать аварийные...
2022 / Вишняков А.В.ВАК -
DIFF TOOL FOR COMPARING.NET ASSEMBLIES IN THE RIDER IDE
A .NET developer occasionally needs to compare compiled programs or assemblies, e.g., when updating versions of third-party libraries or when working with their own binary files. However, the existing tools have some significant drawbacks, for example they don't support comparison of .NET Core...
2022 / Miroshnikov V.I.ВАК -
ВИРТУАЛЬНЫЕ ПЛОЩАДКИ В АЛГОРИТМЕ ИЗЛУЧАТЕЛЬНОСТИ
Создание упрощенной геометрии для метода излучательности является трудоёмким процессом, который трудно автоматизировать в общем случае. В качестве альтернативного решения этой проблемы в данной работе предлагается модификация метода излучательности с использованием виртуальных площадок. Виртуальные ...
2022 / Щербаков А.С., Фролов В.А., Галактионов В.А.ВАК -
МЕТОД АППАРАТНОЙ РЕАЛИЗАЦИИ СВЕРТОЧНОЙ НЕЙРОННОЙ СЕТИ НА ОСНОВЕ СИСТЕМЫ ОСТАТОЧНЫХ КЛАССОВ
Сверточные нейронные сети (СНС) показывают высокую точность при решении задачи распознавания образов, но обладают высокой вычислительной сложностью, что приводит к медленной обработке данных. Для увеличения быстродействия СНС в данной работе предлагается метод аппаратной реализации СНС с...
2022 / Валуева М.В., Валуев Г.В., Бабенко М.Г., Черных А., Кортес-Мендоса Х.М.ВАК -
МОДИФИКАЦИЯ АЛГОРИТМА ОБНАРУЖЕНИЯ И ЛОКАЛИЗАЦИИ ОШИБКИ В СИСТЕМЕ ОСТАТОЧНЫХ КЛАССОВ
В статье рассмотрена модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов (СОК). Классическая избыточная СОК с одним контрольным основанием позволяет обнаружить ошибку, но не локализовать её. Для локализации одиночной ошибки вводят два контрольных основания. Благодаря ...
2022 / Гладков А.В., Кучуков В.А., Бабенко М.Г., Черных А.Н., Бережной В.В., Дроздов А.Ю.ВАК -
GROUP COHESION FOR A COACHING SYSTEM IN CO-LOCATED COLLABORATIVE ENVIRONMENTS
Technologies that support co-located collaboration must not only provide a shared workspace, but also support collaboration. From an observational study, some collaboration problems were identified in groups of people working in a system with a Tangible User Interface. Some of these problems could...
2022 / Reyes-Flores A., Mezura-Godoy C., Benítez-Guerrero E., Montané-Jiménez L.G.ВАК -
ОРГАНИЗАЦИЯ БЕЗОПАСНОГО ЗАПРОСА К БАЗЕ ДАННЫХ НА ОБЛАКЕ
Развитие облачных вычислений, включающее хранение и обработку конфиденциальных данных пользователей на серверах, которые могут быть атакованы, выдвигает новые требования к защите информации. В статье исследуется задача получения клиентом информации из базы данных таким образом, чтобы никто, кроме...
2022 / Мартишин С.А., Храпченко М.В., Шокуров А.В.ВАК -
CASE STUDY: SOURCE CODE STATIC ANALYSIS FOR PERFORMANCE ISSUES DETECTION
Source code static analysis is widely used for program errors detection. Mostly it is used for finding critical issues like security vulnerabilities, critical program defects leading to runtime errors like crash and unexpected behavior of programs. Many SCSA tools are used for checking code...
2022 / Gerasimov A.Y., Kanakhin A.A., Privalov P.A., Zhukov A.A., Kaminsky E.A.ВАК -
ПОДХОДЫ, НАПРАВЛЕННЫЕ НА ПОВЫШЕНИЕ ЭФФЕКТИВНОСТИ ФАЗЗИНГ-ТЕСТИРОВАНИЯ КОМПОНЕНТОВ ЗАЩИЩЕННОЙ ОС
Фаззинг-тестирование в рамках цикла непрерывной разработки является необходимым инструментом, направленным в первую очередь на обеспечение доверия к разрабатываемому ПО. При этом при наличии значительных объемов кодовой базы фаззинг-тестирование становится ресурсозатратной задачей и именно поэтому...
2022 / Егорова В.В., Панов А.С., Тележников В.Ю., Девянин П.Н.ВАК -
ИНСТРУМЕНТ ДИНАМИЧЕСКОГО АНАЛИЗА IOT-СИСТЕМ ELF
В результате работы по направлению анализа IoT-устройств авторами был создан инструмент ELF (embedded linux fuzz), который, в частности, предоставляет функционал для применения существующих средств динамического анализа в работе с различными IoT-устройствами. В статье рассматриваются вопросы...
2022 / Коваленко Р.Д., Макаров А.Н.ВАК -
АВТОМАТИЧЕСКОЕ ТЕСТИРОВАНИЕ LLVM-ПРОГРАММ СО СЛОЖНЫМИ ВХОДНЫМИ СТРУКТУРАМИ ДАННЫХ
Символьное исполнение является известным подходом для автоматической генерации регрессионных тестов и поиска ошибок/уязвимостей в программах. Данная работа посвящена созданию практичного метода к символьному исполнению LLVM-программ, пригодного для работы со сложными входными структурами данных....
2022 / Мисонижник А.В., Бабушкин А.А., Морозов С.А., Костюков Ю.О., Мордвинов Д.А., Кознов Д.В.ВАК -
ОБНАРУЖЕНИЕ ОШИБОК ВЗАИМОИСКЛЮЧАЮЩЕЙ БЛОКИРОВКИ В ПРОГРАММАХ НА ЯЗЫКЕ С# ПРИ ПОМОЩИ МЕТОДОВ СТАТИЧЕСКОГО АНАЛИЗА
В статье рассматриваются алгоритмы статического анализа, которые направлены на поиск трех типов ошибок, связанных с понятием синхронизирующего монитора: переопределение переменной взаимоисключающей блокировки внутри критической секции; использование переменной некорректного типа при входе в...
2022 / Рагозина П.И., Игнатьев В.Н.ВАК -
BIG TRANSFORMERS FOR CODE GENERATION
IT industry has been thriving over the past decades. Numerous new programming languages have emerged, new architectural patterns and software development techniques. Tools involved in the process ought to evolve as well. One of the key principles of new generation of instruments for software...
2022 / Arutyunov G.A., Avdoshin S.M.ВАК -
DATA DISTRIBUTION AND PARALLEL CODE GENERATION FOR HETEROGENEOUS COMPUTATIONAL CLUSTERS
We present new techniques for compilation of sequential programs for almost affine accesses in loop nests for distributed-memory parallel architectures. Our approach is implemented as a source-to-source automatic parallelizing compiler that expresses parallelism with the DVMH directive-based...
2022 / Kataev N.A., Kolganov A.S.ВАК -
НАСТРОЙКА КРИТЕРИЕВ ПЛАНИРОВЩИКА СУБД С УЧЁТОМ ДИНАМИЧЕСКОЙ КОМПИЛЯЦИИ
С разработкой динамического компилятора запросов актуальной становится задача настройки критериев оптимизатора и планировщика СУБД для выбора оптимального, с точки зрения динамической компиляции, плана запроса. Необходимость настройки критериев оптимизатора обуславливается тем, что свойства...
2022 / Долгодворов Е.В., Бучацкий Р.А., Пантилимонов М.В., Мельник Д.М.ВАК -
РЕАЛИЗАЦИЯ ФУНКЦИИ ДОЛГОВРЕМЕННОГО ХРАНЕНИЯ НАУЧНЫХ ДАННЫХ БОЛЬШОГО ОБЪЕМА В ВЫЧИСЛИТЕЛЬНОМ ЦЕНТРЕ
Длительное и целостное хранение объемных научных данных является одной из важных задач, стоящих перед многими вычислительными центрами. В целях снижения стоимости хранения информации, в некоторых решениях используется технология магнитно-ленточной памяти, а также специализированное программное...
2022 / Иванков Д.В.ВАК