МЕТОД АНАЛИЗА ЗАВИСИМОСТЕЙ МЕЖДУ ВХОДНЫМИ И ВЫХОДНЫМИ ДАННЫМИ АЛГОРИТМОВ

14 сентября 2018
206
Предметная область
Выходные данные
Ключевые слова
Вид публикации Статья
Контактные данные автора публикации АРЗАМАРЦЕВ ИЛЬЯ ВИКТОРОВИЧ1, ЮРОВ ИГОРЬ АДОЛЬФОВИЧ
Ссылка на публикацию в интернете elibrary.ru/item.asp?id=21016846

Аннотация

ЖУРНАЛ:


БЕЗОПАСНОСТЬ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
Издательство: Всероссийский научно-исследовательский институт проблем вычислительной техники и информатизации (Москва)
ISSN: 2074-7128

КЛЮЧЕВЫЕ СЛОВА:


ПОТОК ДАННЫХ, DATA FLOW, СТАТИЧЕСКИЙ АНАЛИЗ, STATIC ANALYSIS

АННОТАЦИЯ:

Статья посвящена анализу взаимосвязей между входными и выходными данными алгоритмов программного обеспечения посредством модифицированного метода символьного исполнения, который позволяет выявлять возможные значения выходных данных в различных циклических конструкциях и общую схему потока данных алгоритма.
Подробнее
Для того чтобы оставить комментарий необходимо авторизоваться.