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

UptoLike

Рубрика:

- 75 -

Компьютерную технологию разработки ПС [1] определяют как технологию

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

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

графические спецификации) с последующей автоматической генерацией программ

и документов (или хотя бы значительной их части) по этим спецификациям.

Можно отметить и основные изменения в жизненном цикле

ПС для компью-

терной технологии. Если при использовании ручной технологии основные усилия

по разработке ПС были сосредоточены на этапах собственно программирования

(кодирования) и отладки (тестирования), то при использовании компьютерной

технологии – на ранних этапах разработки ПС (определения требований и ФС ПС,

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

рактер

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

редачу информации от заказчика к разработчикам, формируется прототип ПС,

поддерживающий выбранный ПИН, формальные ФС и формальные спецификации

АПС, достаточные для автоматического синтеза программ ПС и автоматической

генерации части документации. Автоматическая генерация программ делает не

нужной автономную отладку и тестирование программ. Вместо этих этапов

ручной

технологии добавляется автоматический семантический контроль документации.

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

комплексной отладки ПС. Изменяется и характер сопровождения ПС − все изме-

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

томатически.

Рассмотрим подробнее содержание основных этапов жизненного цикла ПС при

компьютерной технологии.

Этап 1. Прототипирование

ПС при компьютерной технологии является не-

обязательным этапом жизненного цикла ПС. Иногда прототипирование делается

после или при разработке спецификаций ПС, например, в случае прототипирова-

ния ПИН. Практически при этом производится точное и понятное в рамках ком-

пьютерной технологии описание пользовательского интерфейса, причём с участи-

ем пользователя. Всё это требует наличия

в программной поддержке компьютер-