53
Проверка ПО заключено в нахождении и корректировке ошибок,
которые были совершены на этапах подготовки задачи для реализации на
ЭВМ.
Ошибки делят на синтаксические и семантические.
Синтаксические ошибки, связанные с неправильным написание
операторов языка программирования, находятся на этапе трансляции
программы. Тут даже можно увидеть сообщение, описывающее оператор, в
котором допущена ошибка, место, где она обнаружена, а также текст,
поясняющий суть проблемы.
Семантические ошибки, связанные, зачастую, с неправильным
построением математической модели и алгоритма выполнения задачи, при
процедуре прохода программы сразу не обнаруживаются, поскольку
программа выполняется и даже выдает итоговый результат.
Для сверки корректности программы выполняется ее тестирование, т.е.
ее реализация при таких исходных данных, для которых итоги решения уже
известны. При подборе тестовых наборов исходных данных важно учесть
доступность проверки разных вариантов решения задачи. Оценка
корректности программы реализуется методом сравнения результатов,
полученных при реализации программы, с имеющимися тестовыми.
Тестирование помогает доказать факт наличия смысловой ошибки. Для
ее определения и выявления причины, реализовавшей ошибку, лучше всего
применять отладочные операторы, позволяющие контролировать проход
программы, следить за чередой выполнения операторов программы и
корректировкой значений элементов массивов и переменных в процессе
работы программы, отследить правильность индексирования элементов
массивов, отслеживать обращение к подпрограммам.
Тут же важно проверить, как работает программа на максимальном
количестве входных наборов данных, пусть даже не самых верных. Опишем