Билет №7. Внешняя спецификация задачи, ее роль в процессе разработки программыВнешняя спецификация задачи, ее роль в процессе разработки программы. Состав внешней спецификации, структура документа. Внешняя спецификация программы - это полное и точное описание задачи. Внешние спецификации программ должны включать описания состава входных и выходных данных, а также требуемых зависимостей между ними, фиксируя точный смысл поставленной задачи. Кроме того, во внешние спецификации должны входить описания структуры и формы записи входных тестов с входными данными и структуры и формы выходных текстов, включающих результаты ввода и анализа выходных данных, а также решения задач и, возможно, промежуточные результаты вычислений. Спецификация имеет следующую структуру: 1. Задача. 2. Входные данные: состав (имя, смысл, тип, структура); диапазон; точность; объем; форма записи. 3. Выходные данные: состав (имя, смысл, тип, структура); диапазон; точность; объем; выходная форма. 4. Метод. 5. Аномалии: описание аномальных ситуаций; реакция на нее. 6. Функциональные тесты.
Спецификация: во-первых, служит заданием на разработку программы (из нее разработчик программы должен извлечь все, что ему нужно знать о стоящей перед ним задаче); во-вторых, является частью соглашения между заказчиком программы и ее разработчиком, описанием задачи, которое приемлемо для заказчика, не обязательно сведущего в программировании; в-третьих, она должна использоваться для проверки готовой программы (решает ли разработанная программа поставленную задачу). _____________________________________________________________________________________ _____________________________________________________________________________________ Билет №8 Синтаксис и семантика языка. Состав языка программирования. Метаязык для записи синтаксических правил. Синтаксис и семантика языка программирования. Синтаксис – правила построения конструкций языка. Семантика – правила истолкования синтаксических конструкций языка. 5 уровней языка: -программа -предложение -выражение – правила для вычисления значения (операнды, соединенные знаком операций): Целые, вещественные, логические, литерные. - слова – константы и переменные - алфавит – таблица ASCII – символы языка + ключевые слова Метаязык - это язык для описания языка, средствами которого описываются и исследуются свойства некоторого другого, предметного (объективного) языка (пример: Backus-Naur form). Язык может являться своим же метаязыком (например, для описания русского языка можно использовать тот же русский язык). 1) Форма Бэкуса-Наура (БНФ) – язык строится с помощью рекурсии; 2) Расширенные БНФ (повторение, циклическое); 3) Синтаксические диаграммы (вложенные в блок-схему РБНФ). _____________________________________________________________________________________
|
