МЕТОД АНАЛИЗА ЗАВИСИМОСТЕЙ МЕЖДУ ВХОДНЫМИ И ВЫХОДНЫМИ ДАННЫМИ АЛГОРИТМОВ
14 сентября 2018
206
Предметная область | — |
Выходные данные | — |
Ключевые слова | — |
Вид публикации | Статья |
Контактные данные автора публикации | АРЗАМАРЦЕВ ИЛЬЯ ВИКТОРОВИЧ1, ЮРОВ ИГОРЬ АДОЛЬФОВИЧ |
Ссылка на публикацию в интернете | elibrary.ru/item.asp?id=21016846 |
Аннотация
ЖУРНАЛ:
БЕЗОПАСНОСТЬ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
Издательство: Всероссийский научно-исследовательский институт проблем вычислительной техники и информатизации (Москва)
ISSN: 2074-7128
КЛЮЧЕВЫЕ СЛОВА:
ПОТОК ДАННЫХ, DATA FLOW, СТАТИЧЕСКИЙ АНАЛИЗ, STATIC ANALYSIS
АННОТАЦИЯ:
Статья посвящена анализу взаимосвязей между входными и выходными данными алгоритмов программного обеспечения посредством модифицированного метода символьного исполнения, который позволяет выявлять возможные значения выходных данных в различных циклических конструкциях и общую схему потока данных алгоритма.
ПодробнееБЕЗОПАСНОСТЬ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
Издательство: Всероссийский научно-исследовательский институт проблем вычислительной техники и информатизации (Москва)
ISSN: 2074-7128
КЛЮЧЕВЫЕ СЛОВА:
ПОТОК ДАННЫХ, DATA FLOW, СТАТИЧЕСКИЙ АНАЛИЗ, STATIC ANALYSIS
АННОТАЦИЯ:
Статья посвящена анализу взаимосвязей между входными и выходными данными алгоритмов программного обеспечения посредством модифицированного метода символьного исполнения, который позволяет выявлять возможные значения выходных данных в различных циклических конструкциях и общую схему потока данных алгоритма.
Для того чтобы оставить комментарий необходимо авторизоваться.