ГОСТ Р МЭК 60880—2010
Варифмаимя
Рисунок С.1 — Жизненный цикл технологии прикладного программирования
Набор инструментальных программ поддерживает весь жизненный цикл программного обеспечения, т.е.
спецификацию, проектирование, включая верификацию и валидацию, эксплуатацию системы и ее модификации в
случае внесения в последующем изменений в начальные требования.
Форматы для документального оформления спецификации проекта системы и связанные с этим функции
поддерживают эффективную верификацию. Этот элемент технологии прикладного программирования согласу
ется с требованиями разделов 8 — 10.
С.З Применение требований к автоматической генерации кода
Автоматическая генерация кода является типичным элементом современных комплексов оборудования
{платформ системы), обеспечивающих эффективное проектирование систем контроля и управления, а также
получение программных продуктов высочайшего уровня качества.
Такие комплексы оборудования включают в себя набор инструментальных программ для поддержки про
цесса программирования.
При соблюдении требований настоящего стандарта методология автоматической генерации кода обеспе
чивает получение программного обеспечения высокого качества и снижает вероятность внесения ошибок челове
ком.
С.3.1 Инструментальные программы для управления проектированием и разработкой
В указанном выше примере инструментальные программы генерируют прикладной исходный код. исходя
из формализованной спецификации (например, графической спецификации) на тщательно подобранном язы
ке:
a) использование характерных для конкретного применения обозначений в спецификации архитектуры
систем контроля и управления и связанных с ней функций помогает решению проблем взаимосвязи между
разработчиками системы и разработчиками контроля и управления;
b
) входные обозначения основаны на графическом представлении, определенном для предназначенных
функций контроля и управления и сравнимом с классическими проверенными диаграммами функций, что позво
ляет проводить комплексную проверку установленных функций;
c) разработанная документация позволяет добиться строгой взаимосвязи с результатами разработки.
Набор инструментальных программ оказывает помощь в осуществлении следующей деятельности в облас
ти программирования:
- возможность устанавливать архитектуру технического обеспечения в соответствии с требуемой отказоус
тойчивостью. что приводит к необходимости создания резервной структуры;
61