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

       

Псевдокод алгоритма самотестирующейся


Рис. 4.9. Псевдокод алгоритма самотестирующейся

программы умножения матриц

Можно легко удостовериться, что, если err(P,f,Un)³1/8, то количество единиц будет не менее 1/16 с вероятностью не менее 1-k и если err(P,f,Un)£1/32, то количество единиц будет не менее 1/16 с вероятностью не менее 1-k. Таким образом, вышеприведенная программа будет (1/32,1/8)-самотестирующейся программой для умножения матриц.

Некоторым аналогичным образом строятся самотестирующиеся/ самокорректирующиеся программные пары для других операций над матрицами. Данные по ресурсозатратам сведены в таблицу 4.2, где обозначения в таблице точно такие же, как и в таблице 4.1.

Таблица 4.2.

Содержание раздела