Правильность программного средства

Правильность программного средства - Совокупность свойств программного средства, характеризующая возможность получения только верных или предусмотренных результатов функционирования.

Примечание. Для числовых результатов эта характеристика включает достижение необходимой степени точности вычисляемых значений

Источник:

ГОСТ 28806-90 КАЧЕСТВО ПРОГРАММНЫХ СРЕДСТВ Термины и определения Приложение 2