Пример внешней спецификации алгоритма.

Рассмотрим примеры.

1. Найти действительные корни квадратного уравнения.

ax² + bx + c = 0

2. Составим таблицу величин

№	Класс данных	Имя	Смысл	Тип	Структура
1	входные	a b c	Коэффициенты Квадратного Уравнения	Вещ. Вещ. Вещ.	Прост. пер. Прост. пер. Прост. пер.
2	промежуточные	d	Дискриминант	Вещ.	Прост. пер.
3	Выходные	X1 X2	1ый корень 2ой корень	Вещ. Вещ.	Прост. пер. Прост. пер.

В колонке «тип» указывается тип данного. В языках программирования существуют типы, которые будем обозначать сокращенно. Например так : вещественный – вещ, целый – цел, символьный – лит, логический – лог,

Пока других типов использовать не будем.

3. Аномалии

В нашем случае аномалии две – первая аномалия, а = 0, в этом случае квадратное уравнение вырождено, а это означает, что мы не можем искать корни уравнения по известной формуле

Следовательно, после ввода данных надо проверить переменную “а“ на равенство 0, и если это так, то программа должна выдать сообщение «уравнение вырождено». Это сообщение называется реакцией на аномалию программы.

Вторая аномалия d < 0. Это означает, что нет действительных корней. В программе должна быть проверка если d отрицательное, то реакция программы на эту аномалию – выдача сообщения «нет действительных корней»

4. Выходная форма

Здесь для нашей задачи мы должны решить, какие сообщения будем выдавать на экран.

Правилом хорошего тона в программировании считается, если первое сообщение – это заставка, означающая приветствие программы. Например, откуда мы знаем, что работаем с программой Word. Мы видим на экране заставку, на которой написаны слова Microsoft Word. Так и в нашей программе – первым надо выдать сообщение, которое мы обозначим обр. 1

Обр. 1 Нахождение корней квадратного уравнения.

Обр. 2. Задайте коэффициенты уравнения a, b, c.

Обр. 3 Уравнение вырождено.

Обр. 4. Нет действительных корней.

Обр. 5 Корни равные.

Обр. 6 Корни разные

5.Метод решения

В данном случае известна формула нахождения корней. Вычислим сначала d = b² – 4ac

Если d < 0, то вывод на экран обр. 4, иначе обр. 5, или обр. 6. При этом значение корней вычисляются по формуле

1. Разработаем тесты для нашего примера

a	b	c	Результат
0	0	0	Обр. 3
1	1	1	Обр. 4
1	2	1	Обр. 5, x1 = x2 = = = - 1
2	5	2	Обр. 6, х1 = = - ; х2 = = -2