Билет 6. Главная метафора процедурно-ориентированных языков. Стиль программирования.

Главная метафора процедурно-ориентированных языков: это соответствие понятий привычных для человека компонентам языка программирования.

Классы языков программирования (далее ЯП):

- процедурно-ориентированные (действие);

- функциональные (функция);

- объектно-ориентированные (объект);

- логические (логическое выражение);

- графические (графика);

- средоориентированные (экран).

Процедурно-ориентированные языки ближе всего к машинному образу мышления, к таким ЯП относится Pascal

В 70-е годы программирование стало массовым. Брукс «Мифический человекомесяц». Была создана технология разработки структурных программ.

1972г – Дейкстра – Книга о базисе и структурированном программировании.

В Pascal воплощается главная метафора программирования.

Стиль – это метафора, воплощенная в языке программирования:

- рельеф (должен выбираться осознанно, должны быть видны все вложенности и тд и тп, служит для подчеркивания порядка действий)

- выбор меток

- выбор имен переменных (как и метки, должны быть логически обоснованы, нести смысловую нагрузку)

- наличие комментариев (для ускорения работы с исходным текстом кода, часть документации)

Билет 7. Внешняя спецификация задачи, ее роль в процессе разработки программы. Состав внешней спецификации, структура документа.

Внешняя спецификация программы - это полное и точное описание задачи.

Внешние спецификации программ должны включать описания состава входных и выходных данных, а также требуемых зависимостей между ними, фиксируя точный смысл поставленной задачи. Кроме того, во внешние спецификации должны входить описания структуры и формы записи входных тестов с входными данными и структуры и формы выходных текстов, включающих результаты ввода и анализа выходных данных, а также решения задач и, возможно, промежуточные результаты вычислений.

Спецификация имеет следующую структуру:

1. Задача.

2. Входные данные:

-состав (имя, смысл, тип, структура);

-диапазон;

-точность;

-объем;

-форма записи.

3. Выходные данные:

-состав (имя, смысл, тип, структура);

-диапазон;

-точность;

-объем;

-выходная форма.

4. Метод.

5. Аномалии:

-описание аномальных ситуаций;

-реакция на нее.

6. Функциональные тесты.

Спецификация:

1) служит заданием на разработку программы (из нее разработчик программы должен извлечь все, что ему нужно знать о стоящей перед ним задаче);

2) является частью соглашения между заказчиком программы и ее разработчиком, описанием задачи, которое приемлемо для заказчика, не обязательно сведущего в программировании;

3) она должна использоваться для проверки готовой программы (решает ли разработанная программа поставленную задачу).

Билет 8. Состав языка программирования. Синтаксис и семантика языка. Метаязык для записи синтаксических правил.

Синтаксис – правила построения конструкций языка.

Семантика – правила истолкования синтаксических конструкций языка.

Пять уровней ЯП (от сложного к простому):

1) Программа

2) Предложение

3) Выражение – правила для вычисления значения (операнды, соединенные знаком операций)

4) Слова – Константы и переменные

5) Алфавит – Таблица ASCII – символы языка + ключевые слова

Метаязык - это язык для описания языка, средствами которого описываются и исследуются свойства некоторого другого, предметного (объективного) языка (например, Backus-Naur form). Язык может являться своим же метаязыком (например, для описания русского языка можно использовать тот же русский язык).

1) Форма Бэкуса-Наура (БНФ) – язык строится с помощью рекурсии;

2) Расширенные БНФ (повторение, циклическое);

3) Синтаксические диаграммы (вложенные в блок-схему РБНФ).