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

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

Состав внешней спецификации, структура документа.

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

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

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

1. Задача.

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

состав (имя, смысл, тип, структура); диапазон; точность; объем; форма записи.

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

состав (имя, смысл, тип, структура); диапазон; точность; объем; выходная форма.

4. Метод.

5. Аномалии: описание аномальных ситуаций; реакция на нее.

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

 

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

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

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

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

_____________________________________________________________________________________

_____________________________________________________________________________________

Билет №8

Синтаксис и семантика языка. Состав языка программирования.

Метаязык для записи синтаксических правил.

Синтаксис и семантика языка программирования.

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

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

5 уровней языка:

-программа

-предложение

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

Целые, вещественные, логические, литерные.

- слова – константы и переменные

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

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

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

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

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

_____________________________________________________________________________________