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