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