Понятие «корректность» или «правильность» подразумевает соответствие проверяемого объекта некоторому эталонному объекту или совокупности формализованных эталонных характеристик и правил.
Корректность или правильность программы наиболее полно определяется степенью ее соответствия предъявляемым к ней формальным требованиям программной спецификации.
Будем считать программное изделие правильным, если оно:
- решает действительно ту задачу, для которой оно было
разработано;
- не «зависает» и не заканчивает свою работу аварийно;
- удовлетворяет всем требованиям из документа «Соглашение о требованиях» («Техническое задание») с учетом их уточнений в процессе проектирования программного изделия;
- разработано в соответствии с формальными правилами проектирования программного обеспечения.