Теория и практика защиты программ


         

В отличие от обычной таблицы


В отличие от обычной таблицы истинности булевой функции, в которой аргументы принимают значения 0 или 1, аргументы в ВП могут принимать значение x

(неопределенное). Если значение аргумента y

равно х в некотором кубе ВП, то это значит, что значение булевой функции на наборах аргументов, задаваемых кубом, не зависит от значения y, т.е. y может принимать как значение 0 так и значение 1 и задавать поэтому две строки таблицы истинности булевой функции.











www.kiev-security.org.ua

BEST rus DOC FOR FULL SECURITY



Функциональная диаграмма характеризуется вектором состояния P, размерность которого равна сумме числа ФС и числа входных условий. Каждый разряд вектора P

представляет значение либо команды, либо ФС и может принимать одно из 3-х значений: 0, 1 или х. Считается, что значение разряда вектора P

определено, если в нем записан 0 или 1.

Операционная схема метода состоит из этапов, каждый их которых реализуется с использованием собственного алгоритма, наиболее значимыми из которых являются следующие:

·        алгоритм построения вырожденного покрытия функциональной диаграммы (алгоритм А);

·        алгоритм определения множества комбинаций входных команд для заданной совокупности событий (алгоритм Б);

·        алгоритм вычисления эталонных значений событий для заданных тестовых наборов команд (алгоритм В).

 

Алгоритм А

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

состоит из следующих процедур.

1. Любым известным методом [Н] находится минимальная дизъюнктивная нормальная форма (МДНФ) функции f и ее отрицания.

2. Находятся кубы ВП, соответствующие значениям f=1. Для этого каждый простой импликанте ставится в соответствие куб, значения разрядов которого формируются по следующим правилам:


Содержание  Назад  Вперед