Технология программирования. - 24 стр.

UptoLike

Рубрика:

- 26 -

Во второй части вводятся обозначения всех определяемых функций, специфи-

цируются их входные данные и результаты выполнения каждой функции. Опреде-

ляется семантика каждой функции.

В третьей части перечисляются все существующие случаи, когда ПС не может

выполнить ту или иную свою функцию. Для каждого случая приводится реакция ПС.

4.4. Контроль ВО ПС

Разработка

внешнего описания ПС должна завершаться проведением тщатель-

ного контроля. Цель методов контроля – выявление, как можно большего числа

ошибок. Выделяют следующие методы контроля [1]:

1) статический просмотр;

2) смежный контроль;

3) пользовательский контроль;

4) ручная имитация.

Первый метод представляет собой внимательное прочтение разработчиком

текста внешнего описания ПС с целью проверки его полноты и непротиворечиво-

сти, выявления ошибок и неточностей.

Смежный контроль предусматривает контроль сверху – проверка со стороны

разработчика требований, снизу – изучение и проверка разработчиками архитекту-

ры ПС и текстов программы.

Пользовательский контроль заключается в проверке пользователем выпол-

нения его требований.

Ручная имитация – динамический вид контроля. Для этого этапа готовятся

исходные данные (тесты) и на основе

ФС имитируется поведение разрабатываемо-

го ПС, при этом такую имитацию осуществляет специально назначенный разра-

ботчик. Он, практически, выполняет роль будущих программ ПС.

5. Разработка архитектуры ПС

Архитектура ПС – представление ПС в виде системы, состоящей из некоторой

совокупности взаимодействующих подсистем. Подсистема представляет собой не-

которую программу. Разработка архитектуры является первым и очень важным