30. Case технологии. ­­

Определение САSЕ-технология является абревиатурой от английского Computer-Aided Software Engineering (Инженерия Программирования, Поддерживаемая Компьютером). Сначала под САSЕ понималась инженерия ранних этапов разработки ПС (определение требований, разработка ВО и АПС) с использованием программной поддержки. Теперь под САSЕ понимают и инженерию всего жизненного цикла ПС, правда, для случая, когда программы частично или полностью сгенерированы по документам, полученным на ранних этапах разработки. Таким образом, САSЕ-технология в нынешней трактовке принципиально отличается от ручной (традиционной) технологии разработки ПС.

В настоящее время компьютерная технология разработки ПС характеризуется использованием

1) программной поддержки разработки графических требований и графических спецификаций ПС;

2) автоматической генерации программ на каком-либо языке программирования;

3) программной поддержки прототипирования.

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

Компьютерную технологию разработки ПС определяют, как технологию программирования, в которой используются программные инструменты для разработки формализованных спецификаций программ и других документов (включая и графические спецификации) с последующей автоматической генерацией программ и документов (или хотя бы значительной их части) по этим спецификациям.

Можно отметить и основные изменения в жизненном цикле ПС для компьютерной технологии. Если при использовании ручной технологии основные усилия по разработке ПС были сосредоточены на этапах собственно программирования (кодирования) и отладки (тестирования), то при использовании компьютерной технологии – на ранних этапах разработки ПС (определения требований и ФС ПС, разработки АПС). Переход к компьютерной технологии существенно меняет характер документации. Вместо неформальных документов, ориентированных на передачу информации от заказчика к разработчикам, формируется прототип ПС, поддерживающий выбранный ПИН, формальные ФС и формальные спецификации АПС, достаточные для автоматического синтеза программ ПС и автоматической генерации части документации. Автоматическая генерация программ делает не нужной автономную отладку и тестирование программ. Вместо этих этапов ручной технологии добавляется автоматический семантический контроль документации. Возможна автоматическая генерация тестов по формальным спецификациям для комплексной отладки ПС. Изменяется и характер сопровождения ПС − все изменения вносятся только в спецификации, остальные изменения в ПС происходят автоматически.