Вид документа : Статья из журнала Шифр издания : Автор(ы) : Зыков, Анатолий Геннадьевич, Кочетков, Илья Владимирович, Чистиков, Евгений Геннадьевич, Швед, Виктор Григорьевич Заглавие : Автоматизация генерации описания графо-аналитической модели программы Параллельн. заглавия :Automating the Generation of a Description of the Graphical-Analytical Model of the Program Серия: Безопасность компьютерных систем Место публикации : Защита информации. Инсайд. - 2017. - № 4. - С.60-65: ил. (Шифр zinf/2017/4) Примечания : Библиогр. с. 65 (13 назв.) УДК : 004.41/.42 ББК : 32.973-018 Предметные рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Ключевые слова (''Своб.индексиров.''): roslyn--сапр--абстрактное синтаксическое дерево--автоматизация--верификация--графо-аналитическая модель--защита информации--исходный код программы--не декларированные возможности--синтаксический анализ--тестирование--язык описания гам Аннотация: Существует класс функциональных ошибок программных продуктов, влияющих на безопасность проектируемых программ, которые крайне сложно исследовать без анализа исходного кода. Эта проблема обостряется для систем, части которых написаны на различных языках программирования. Актуальность задачи поиска универсальных межязыковых средств тестирования остается высокой до сих пор. В качестве решения подобной задачи предлагается использовать язык описания графо-аналитической модели (ГАМ) алгоритма вычислительного процесса. Целью исследования является автоматизация построения описания ГАМ программы, реализованной на языке C#, с использованием методов синтаксического анализа для формальной верификации проекта и поиска не декларированных возможностей. Новизна данного исследования заключается в том, что на текущий момент не существует каких-либо средств, позволяющих получить языковое (формальное) описание ГАМ вычислительного процесса. Доп.точки доступа: Зыков, Анатолий Геннадьевич (кандидат технических наук); Кочетков, Илья Владимирович; Чистиков, Евгений Геннадьевич; Швед, Виктор Григорьевич (доктор технических наук) |