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