Псевдокод алгоритма самотестирующейся
Рис. 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.
