Оценка разрешающей способности оперативных методов контроля сохранения информации в постоянной памяти

Приводятся количественные критерии “достоверности” программных методов контроля сохранения информации в постоянной памяти. Критерии основаны на понятии разрешающей способности и контрольной функции и показывают вероятность обнаружения любого отказа, приводящего к искажению информации в памяти. Применительно к одному из распространенных методов, основанных на контрольном суммировании массивов, выведены рекуррентные соотношения, позволяющие оценить разрешающую способность контрольной функции для различных параметров: длины массива, разрядности контрольного слова, значения модуля, по которому производится суммирование. Приведены приближенные методы оценки разрешающей способности функции контроля.