Применение графо-аналитических моделей при верификации программных продуктов - Статья

бесплатно 0
4.5 145
Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.

Скачать работу Скачать уникальную работу

Чтобы скачать работу, Вы должны пройти проверку:


Аннотация к работе
Применение графоаналитических моделей при верификации программных продуктовЛюбая программа реализует тот или иной вычислительный процесс, который порождается путем интерпретации ее команд процессором - реальным или виртуальным. Переход от программ к вычислительным процессам позволяет осуществить поиск решений верификации программ в общем виде. ГАМ можно построить либо путем дешифрации машинного кода программы на основе системы команд процессора с использованием метода структурирования [2], либо построением ее по техническому заданию (спецификации программы). Формализация построения ГАМ программы и ее комплексного покрытия базируется на концептуальной двухконтурной итерационно-рекурсивной модели вычислительного процесса, порождаемого процессором при интерпретации команд программы. Таким образом, предложенная двухконтурная итерационно-рекурсивная модель вычислительного процесса программ, ГАМ на ее основе и построение комплексных кубических покрытий, объединяющих в себе булевы функции, переменные и алгебраические выражения, позволяют перейти от анализа программ к анализу вычислительных процессов.

Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность
своей работы


Новые загруженные работы

Дисциплины научных работ





Хотите, перезвоним вам?