ГОСТ Р МЭК 62279—2016
непосредственный постдоминатор — аналогичный непосредственному доминатору;
дерево доминаторов — структура вспомогательных данных, изображающая отношения доминаторов. Суще
ствует ребро от блоха
М
к блоку
N.
если
М
— непосредственный доминатор
N.
Этот граф является деревом, так как
у каждого блока есть уникальный непосредственный доминатор. Корнем этого дерева является входной блок;
дерево постдоминаторов — аналог дерева доминаторов. Корнем этого дерева является выходной блок;
заголовок цикла (иногда называют точкой входа цикла) — доминатор. который является назначением обрат
ных ребер, образующих цикл. Доминирует над всеми блоками тела цикла;
предзаголовок цикла — предположим, что блок
М
является доминатором с несколькими входными ребрами,
некоторые из которых являются обратными (таким образом.
М
— заголовок цикла). Для некоторых стадий оптими
зации выгодно, чтобы блок
М
был разделен на два блока.
Мрте
и Mjg». Содержимое
М
и обратные ребра относятся к
М[оор,
остальные ребра относятся к Мрге. и создается новое ребро от
М
к М|оор (таким образом.
Мрге
стал не
посредственным доминатором М ^ ). Сразу после преобразования Afpre будет пустым, но прохождения подобные
изменению кода постоянной цикла могут пополнить его.называется предзаголовком цикла, а
Моор
становится
заголовком цикла.
D.67 Диаграммы последовательностей
Цель. Описание взаимодействия между процессами или компонентами с помощью диаграмм.
Описание. Диаграммы последовательностей — это вид диаграмм взаимодействия, которые показывают, как
процессы или компоненты взаимодействуют друг с другом и в каком порядке.
D.68 Табличный метод спецификации
Цель. Обеспечить стандартизированное и хорошо структурированное средство определения управляемых
данными функций системы.
Описание. Табличные нотации, такие как у таблиц управления сигнализацией, являются хорошо установ
ленным методом документального оформления установления определенных требований для железнодорожной
системы силчализации.
Данный метод подходит там. где типы отношений между элементами системы стандартизированы.
Преимущество его состоит в том. что форматы таблицы и возможных записей в каждом поле могут служить
в качестве контрольного списка в процессе проверки.
D.69 Специализированный язык
Цель. Обеспечить средство определения функциональности управляемой данными системы, используя по
нятия и терминологию, которые легко воспринимаются инженерами приложений, которые могут быть не знакомы со
стандартными языками программирования.
Описание. Специализированный язык обычно объединяет конструкции управления, которые подобны стан
дартным высокоуровневым языкам программирования, с операторами, которые определены для рассматриваемо го
типа системы.
Данный метод подходит там. где необходимо использовать булевы выражения, но может также быть при
менен и в других случаях.
Преимуществом является гибкость, позволяющая формировать данные для необычных обстоятельств, кото
рые не могли быть предсказаны, когда система была первоначально разработана.
D.70 Универсальный язык моделирования (UML)
Цель. Представлять программы и связанные с ней артефакты, обеспечивая сокращение сложности с по
мощью абстракции. Выполнение в UML моделирования существующего или запланированного проекта с исполь
зованием множества типов схем упрощает оценку основных характеристик проекта с помощью представлений на
необходимых уровнях детализации. UML часто используется в так называемой разработке, управляемой моделью,
поддерживаемой коммерческими продуктами. Такой стиль разработки улучшает качество программного обеспече
ния и повышает производительность разработчиков при помощи высокоуровневых языков моделирования.
Описание. UML — унифицированный и стандартизированный язык моделирования, использующий преиму
щества графически ориентированных языков спецификаций программного обеспечения и языков объехтно-ориен-
тированного программирования. Основываясь на этих традициях. UML использует многие понятия и методы его
предшественников. Модели представляются в виде одного или нескольких типов диаграмм, которые можно раз
делить на структурные и поведенческие. Последние также включают четыре типа диаграмм, которые называются
диаграммами взаимодействия.
Структурные диаграммы:
- диаграммы пакетов: показывают содержание и отношения между различными пакетами, каждый из кото
рых содержит связанные с моделью элементы.
- диаграммы классов: определяют типы объектов с их различными свойствами и их отношениями с другими
типами объектов, на основе адаптации традиционных диаграмм сущность-связь;
- диаграммы объектов; показывают, как различные объекты (экземпляры класса) связаны друг с другом;
91