Участие в нештатных работах

Фамилия	Вид работы	Время (в часах)
Абрамов	Уборка снега	4
Колобов	Уборка снега	6
Осипов	Заклеивание окон	8
…	…	…

Для описания самих входных и выходных данных широко используются так называемые формы, которые описывают структуру этих данных. Примерами таких таблиц могут служит различные ведомости, анкеты, отчеты и т.п., которые применяются в административно-хозяйственной и управленческой деятельности, а также в разного рода информационных системах, базах данных и знаний. В таблице 8.4. приведен пример экзаменационной ведомости (здесь n = 3).

Таблица 8.4.

Экзаменационная ведомость 213 группы Дисциплина – Информатика

ФИО студента	№ билета	Дата экзамена	Оценка		Подпись экзаменатора
			теория	практика
Абрамов А.Л.	5	7.01.01	хорошо	хорошо	ﻉﺱ
Колобов А.Г.	17	7.01.01	хорошо	удовлетв.	ﻉﺱ
Осипов В.Б.	3	7.01.01	удовлетв.	отлично	ﻉﺱ
…	…	…	…	…	…

Таким образом, спецификация является “человеко-ориентированным” двойником КП, который сопровождает КП на всем её жизненном пути. Роль этого двойника тем больше и важнее, чем больше и сложнее задача и, соответственно, КП для её решения.

8.1.7. Пример записи спецификации программы

Составим внешние (пользовательские) спецификации диалоговой КП для решения задачи о выборе максимального из трех заданных чисел.

1. Спецификация задачи

Формальная постановка задачи: пусть A – первое число, B – второе число и С - третье число; найти MAX – наибольшее из чисел A, B и C.

Метод решения: вначале выбрать наибольшее из значений А и B, затем это значение сравнить со значением C и выбрать из них наибольшее; это значение принять за значение MAX.

2. Спецификация функций КП

КП решает поставленную задачу указанным выше методом при неотрицательных целых значениях A, B и C, каждое из которых не превышает 65536. Она вводит с клавиатуры последовательно A, B и C (с контролем их вхождения в область определения) и выводит на экран значение MAX. При вводе исходных данных КП сообщает пользователю, какие значения исходных данных он ввел с клавиатуры, а если в данных были ошибки, то диагностирует их, выводит на экран диагностические сообщения и предлагает пользователю ввести исходные данные заново.

3. Спецификация входных данных КП

Значения A, B и C могут быть любыми целыми числами из диапазона [0, 65536].

4. Спецификация выходных данных КП

4.1. Значение MAX должно быть вычислено как max(A,B,C) и, следовательно, также быть числом из диапазона [0, 65536]. Это значение выводится на экран.

4.2. Сообщения, выводимые на экран при вводе исходных данных, таковы:

а) приглашения к вводу исходных данных:

• “Введите первое число:”

• “Введите второе число:”

• “Введите третье число:”

б) подтверждение введенных значений:

• “А = < введённое пользователем первое число>”

• “B = < введённое пользователем второе число>”

• “C = < введённое пользователем третье число >”

в) сообщения, выводимые на экран при наличии ошибок во вводимых данных:

• “Повторите ввод!”

• “Теперь Вы ввели < введённое пользователем число >”

• “Количество цифр во вводимом числе не должно быть больше 5.”

• “Вводимое число должно быть неотрицательным и не должно превышать 65535.”

4.3. Cообщения, выводимые на экран по ходу решения задачи:

• “Первое число больше второго”

• “Второе число не меньше первого”

• “Самое большое число - < результат, вычисленный КП>”

5. Сценарий диалога КП с пользователем представлен на рис. 8.1. Ниже, на рис. 8.4 с использованием макетов экрана изображён диалог между Пользователем и КП при решении конкретной задачи, когда Пользователь правильно ввел исходные данные. Реплики пользователя изображены на макетах в полях для ввода данных с клавиатуры.

Рис. 8.4. Пример диалога с пользователем при решении задаче о выборе максимального

из трёх заданных чисел

Список использованной литературы в этом разделе

[Агафонов В.Н. Спецификация программ: понятийные средства и их организация . – 2-е изд. – Новосибирск, Наука, Сиб. отд-ние, 1990. – 224 с.]

[Майерс Г. Надёжность программного обеспечения. – М.: Мир, 1980. – 360 с.]

[Лисков Б., Гатэг Дж. Использование абстракций и спецификаций при разработке программ: Пер. с англ. – М.: Мир, 1989. – 424 с.]

[ Хамби Э. Программирование таблиц решений. - М.: Мир, 1976. - 86 с.]