Теория и практика защиты программ
В отличие от обычной таблицы
В отличие от обычной таблицы истинности булевой функции, в которой аргументы принимают значения 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. Для этого каждый простой импликанте ставится в соответствие куб, значения разрядов которого формируются по следующим правилам:
