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

UptoLike

Рубрика:

- 76 -

ной технологии настраиваемой оболочки с библиотекой заготовок различных

фрагментов и деталей экрана. Такой подход к прототипированию, как правило, яв-

ляется лучшим способом преодоления барьера между пользователем и разработчи-

ком.

Этап 2. Разработка спецификаций ПС состоит из нескольких разных про-

цессов. В этих процессах используются методы, приводящие к созданию формали-

зованных документов, т

.е. используются формализованные языки спецификаций.

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

созданию различных двумерных схем и диаграмм. Такие спецификации позволяют

существенно автоматизировать генерацию программ. Важной частью разработки

спецификаций является создание словаря именованных сущностей, используемых

в спецификациях.

Этап 3. Автоматизированный контроль спецификаций ПС использует тот

факт, что значительная часть

спецификаций представляется формальными языка-

ми. Данное обстоятельство делает возможным различные виды автоматического

контроля: синтаксический и частичный семантический контроль спецификаций,

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

уровней спецификаций и другие виды контроля в зависимости от возможностей

языков спецификаций.

Следующий этап распадается на два подэтапа: генерация программ ПС и

авто-

матизированное документирование ПС.

Подэтап 4.1. Генерация программ ПС. По формальным спецификациям ПС

автоматически генерируются скелеты кодов программ ПС или полностью коды

этих программ.

Подэтап 4.2. Автоматизированное документирование ПС. Генерируются

различные формы документов с частичным их заполнением. Кроме того, при этом

сокращается количество видов документов по сравнению с традиционной техноло-

гией.

Этап 5. Комплексное тестирование и отладка ПС. Тестируются все специ-

фикации ПС и исправляются обнаруженные в них ошибки. Возможно создание