6. Показатели качества программы
Разработка программы представляет собой комбинаторный процесс. В результате его может быть получен не один, а несколько вариантов программ, решающих одну и ту же задачу. И разные варианты будут отличаться по своим характеристикам. Рассмотрим характеристики качества программы на примере программы решения следующей задачи.
Задача: Определить, является ли заданное число простым. Напомним, что простым считается такое целое число, которое делится только само на себя и на единицу. Ниже приведен текст программы, призванной решить задачу.
Program
Simple;
var
N
: integer;
I
: integer;
F
: boolean;
begin
readln(N);
F:=
false;
for
I:=2
to N-1
do
if
(N mod
I) = 0 then
F:=
true;
if
F then
writeln(‘Число
не является простым’)
else
writeln(‘Число
простое’);
end.
Основная идея алгоритма заключается в следующем: если число N не будет делиться без остатка ни на одно из чисел натурального ряда, меньшее чем N, то оно, согласно определению, будет простым.
Приведенная программа написана на языке Паскаль и имеет имя Simple.
В разделе описаний объявлены следующие переменные:
N – типа целых – исходное (проверяемое) число
I – типа целых – возможный делитель (параметр цикла)
F – логический (булевский) тип – признак «делитель найден».
Последовательность действий в программе следующая:
Вводим число N. Присваиваем признаку “делитель найден” значение “ложь”. В цикле просматриваем все возможные делители. Если остаток от деления равен нулю, устанавливаем признаку делитель найден значение «истина».
Наконец, анализируем значение признака “делитель найден” и выводим результат в виде строки текста.
Рассмотрим, отвечает ли наша программа критериям качества.
Корректность (правильность) - это строгое и полное соответствие конечных результатов выполнения программы требованиям постановки задачи.
Нашу программу можно считать правильной, поскольку результат ее выполнения соответствует условиям задачи определения принадлежности числа множеству простых чисел. Однако она не удовлетворяет многим другим критериям качества.
Надежность - это способность программы обеспечивать устойчивость функционирования при возникновении отклонений, вызванных ошибками входных данных, сбоями технических средств и обслуживания, а также способность программы сохранять работоспособность в заданных режимах и при заданных объемах обрабатываемой информации.
Наша программа не контролирует правильность ввода исходного числа: если пользователь введет отрицательное число, результат будет ошибочным.
Чтобы избавиться от этой ошибки, введем контроль введенного значения и завершение работы программы в случае ошибки. Текст программы с указанными изменениями теперь выглядит так: