Правильная ссылка на эту страницу
http://az-design.ru/Support/SoftWare/Lng/ADA/S19830519Elc046.shtml

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

Стивен Эванчук
Редакция Electronics

Предвидя широкое использование языка Ада, разработанного по заказу министерства обороны США, фирма Intermetrics Inc. выпустила новый пакет программного обеспечения Byron, который облегчит процесс разработки программ на языке Ада от начальной стадии до получения конечного полностью документированного изделия. Написав программы на языке, который соответствует расширенной версии языка Ада, удовлетворяющей стандарту Американского национального института стандартов (АНИС), разработчики программного обеспечения могут применить анализатор программ пакета Byron для проверки соответствия кода программ правилам языка Ада. В дальнейшем разработчики с помощью генератора документов, который извлекает информацию из исходного кода программы, могут создавать документацию программного обеспечения.

В больших проектах разработка программ должна вестись тщательно структурированными и контролируемыми методами. Чтобы формализовать свои методы разработки, большие фирмы-поставщики программного обеспечения часто записывают представление системы с помощью языка описания программ, обычно называемого сокращенно PDL (program description language). Стремясь к стандартизации языка PDL, фирма Intermetrics использовала те аспекты стандартизации, которые получены в результате применения языка Ада, в качестве основы языка PDL пакета Byron. При этом к стандарту АНИС на язык Ада было добавлено несколько ключевых слов (см. таблицу). Расширяя присущие языку Ада возможности описания и, естественно, реализации программных средств, разработчики могут создавать вначале PDL-каркас программы, на базе которого формируется полная реализация исходного алгоритма на языке Ада.

Ключевые слова, используемые в пакете для разработки программ

Ключевое слово

Описание соответствующей документации

ALGORITHM

Процедура, используемая для решения задачи

EFFECTS

Функция, выполняемая подпрограммой

ERRORS

Сообщения об ошибках и других особых ситуациях

INVARIANT

Свойства программы, неизменные во времени

MODIFIES

Глобальные переменные, возможно изменяемые

NOTES

Зависимости и ограничения, связанные с конкретной вычислительной системой

OVERVIEW

Связь подпрограмм с окружением

RAISES

Список особых ситуаций, которые могут возникать

REQUIRES

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

TUNING

Взаимосвязь между значениями и производительностью

При переводе PDL-представления программного обеспечения в рабочие программы анализатор пакета Byron проверяет правильность синтаксиса языка Ада, строгое разделение данных по типам и сравнивает раздельно скомпилированные модули на непротиворечивость типов. Для того, чтобы удовлетворить требования генератора документов, анализатор проверяет правильность использования ключевых слов пакета Byron. В заключение анализатор создает библиотеку программ, содержащую представление исходной программы в промежуточном коде, называемом Diana, дополненно документацией, полученной из исходного текста программы. Пакет Byron облегчает утомительную работу по составлению документации путем выдачи отчетов из упомянутой библиотеки программ. Генератор документов фирмы Intermetrics объединяет входной текст из библиотеки с шаблоном документа (специальным описателем формата желаемого документа) для получения документации на программное обеспечение, которая отражает текущее состояние программ, написанных на языке Ада.

Например, контракты министерства обороны США определяют поставку документации на спецификации программного обеспечения согласно стандартной форме С5, детализируемой в стандарте MIL-STD-490. Сама фирма Intermetrics использует пакет Byron со специальным шаблоном С5 для получения документов по форме С5 при разработке системы Ada Integrated Environment министерства ВВС США. Данный шаблон является составным элементом пакета Byron.

В конце мая 1983г. будет выпущен в продажу пакет Byron для ЭВМ серии IBM-370. Стандартная версия ценой 75 000 долл. способна обрабатывать программы такого размера, который определяется только объемом доступных системе оперативной и дисковой памяти. Фирма также предлагает ограниченную версию пакета Byron ценой 25 000 долл., которая обрабатывает программы объемом до 5000 строк кода. Фирма предоставляет скидку 40% при одновременной закупке дополнительных лицензий.

В лицензионную плату включается стоимость установки пакета на ЭВМ покупателя, полного комплекта документации и технического обслуживания в течение года, включая изменения в системе. Дополнительные контракты на техническое обслуживание заключаются по истечении первого года.

По словам Джона Пейтса, управляющего отделом сбыта фирмы Intermetrics, фирма планирует выпуск версии пакета для ЭВМ VAX фирмы DEC. И хотя фирма ожидает, что версия для компьютера VAX будет готова в ближайшие шесть месяцев, она, по словам Пейтса, уже сейчас готова работать над условиями контракта, если покупатель желает получить пакет раньше [р.157].

Intermetrics Inc., 733 Concord Avenue,
Cambridge, Mass. 02138

Выходные данные:

Журнал "Электроника" том 56, No.10 (666), 1983г - пер. с англ. М.: Мир, 1983, стр.78

Electronics Vol.56 No.10 May 19, 1983 A McGraw-Hill Publication

Раздел: КОМПОНЕНТЫ, ПРИБОРЫ, СИСТЕМЫ

Тема:     Программные средства





Дата последнего изменения:
Thursday, 21-Aug-2014 09:10:56 MSK


Постоянный адрес статьи:
http://az-design.ru/Support/SoftWare/Lng/ADA/S19830519Elc046.shtml