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

перейти к Содержанию номера
№ 3   май–июнь 2020 г.
Тема номера:
ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ И ЗАЩИТА ОТ КИБЕРУГРОЗ
Автоматизация выявления и устранения НДВ при верификации программ
Automating the Detection and Elimination of Undeclared Features When Verifying Programs
Анатолий Геннадьевич Зыков, кандидат технических наук
A. G. Zykov, PhD (Eng.)
Яков Сергеевич Голованев
Ya. S. Golovanev
Владимир Иванович Поляков, кандидат технических наук, доцент
V. I. Polyakov, PhD (Eng.), Associate Professor
Дарья Викторовна Швед
D. V. Shved
Национальный исследовательский университет ИТМО
ITMO

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

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

< ... >

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

In process of developing software systems, one of the main approaches is a modular programming me­thod. At the same time, individual tasks can be implemented by various developers and programming languages. At each design stage, verification is required. It is proposed to use the graph-analytical model (GAM) of the computation process and its description in the language developed by the authors as a project specification. The task of automa­ting the detection of undeclared features and excluding them in the program is proposed to be solved with additional means of analysis when verifying the program.

Keywords: GAM, undeclared features, dead code, automation, testing, verification, program source code, CAD, GAM descriptive language
warning!   Полную версию статьи смотрите на страницах журнала «Защита информации. Инсайд»

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


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

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

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

Rambler's Top100