Погрешность программного обеспечения (ПО) оценивается как разность между результатами измерений, полученных данным ПО и эталонным ПО. Под эталонным понимается программное обеспечение, высокая точность которого доказана многократными испытаниями и тестированием. Понятие эталонного ПО является условным и определяется соглашением между заказчиком аттестации и исполнителем. В качестве эталонного может быть использовано ранее аттестованное ПО.

К основным источникам погрешностей ПО относятся:

• ошибки записи исходного текста программы и ошибки трансляции программы в объектный код;
• ошибки в алгоритме решения измерительной задачи;
• ошибки в таблицах для линеаризации нелинейных характеристик преобразования;
• применение неустойчивых или медленно сходящихся алгоритмов при решении плохо обусловленных измерительных задач;
• ошибки преобразования форматов данных;
• ошибки округления и др.

Надежность (достоверность) ПО обеспечивается средствами зашиты от несанкционированных изменений, которые могут явиться причиной появления не учтенных при аттестации погрешностей.