На главную страницу
О журнале План выхода Подписка Интернет-Магазин Реклама Контакты и реквизиты English На главную страницу Карта сайта Поиск по сайту Обратная связь

перейти к Содержанию номера
№ 4   июль–август 2017 г.
Тема номера:
МОБИЛЬНЫЕ ТЕХНОЛОГИИ: УГРОЗЫ, УЯЗВИМОСТИ, БЕЗОПАСНОСТЬ
Автоматизация генерации описания графо-аналитической модели программы
Automating the Generation of a Description of the Graphical-Analytical Model of the Program
Анатолий Геннадьевич Зыков, кандидат технических наук, доцент
A. G. Zykov, PhD., Associate Professor
Илья Владимирович Кочетков
I. V. Kochetkov
Евгений Геннадьевич Чистиков
E. G. Chistikov
Виктор Григорьевич Швед, доктор технических наук, старший научный работник
V. G. Shved, Doctor of Engineering Science, Senior Researcher
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики (Университет ИТМО)
St. Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO University)

Предыдущая статьяСледующая статья

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

Целью исследования является автоматизация построения описания ГАМ программы, реализованной на языке C#, с использованием методов синтаксического анализа для формальной верификации проекта и поиска не декларированных возможностей.

Новизна данного исследования заключается в том, что на текущий момент не существует каких-либо средств, позволяющих получить языковое (формальное) описание ГАМ вычислительного процесса.

< ... >

Ключевые слова: графо-аналитическая модель, защита информации, не декларированные возможности, Roslyn, синтаксический анализ, автоматизация, тестирование, верификация, исходный код программы, САПР, язык описания ГАМ, абстрактное синтаксическое дерево

The relevance of the task of searching for universal interlanguage testing tools remains high so far. As a solution to this problem, it is proposed to use the language of the description of the graphical-analytical model (GAM) of the algorithm of the computational process. The aim of the research is to automate the construction of a description of the CAM program implemented in C #, using the methods of syntactic analysis for formal verification of the project and the search for undisclosed opportunities.

Keywords: grapho-analytical model, information protection, not declared capabilities, Roslyn, syntactic analysis, automation, testing, verification, source code of the program, CAD, GAM description language
warning!   Полную версию статьи смотрите на страницах журнала «Защита информации. Инсайд»

Обращайтесь!!!
e-mail:    magazine@inside-zi.ru
тел.:        +7 (921) 958-25-50, +7 (911) 921-68-24


Предыдущая статья    СОДЕРЖАНИЕ НОМЕРА    Следующая статья

| Начало | О журнале | План выхода | Подписка | Интернет-магазин | Реклама | Координаты |

Copyright © 2004-2022 «Защита информации. Инсайд». Все права защищены
webmaster@inside-zi.ru

Rambler's Top100