ГОСТРМЭК 62279—2016
- вариантные записи и эквивалентность;
- процедурная переменная в качестве параметра.
Языки программирования низкого уровня, в частности ассемблеры, обладают недостатками, связанными с
их жесткой ориентацией на процессор машины или на определенную платформу.
D.55 Моделирование во времени сетями Петри
Цель. Моделирование соответствующих аспектов поведения системы, оценка и. возможно, повышение без
опасности и эксплуатационных требований путем анализа и повторного проектирования.
Описание. Сети Петри относятся к классу моделей, описываемых теорией графов, и используются для пред
ставления информации и управления потоками в системах, в которых процессы конкурентны и асинхронны.
Сеть Петри — это сеть позиций и переходов. Позиции могут быть «маркированными» или «немаркирован ными».
Переход считают «активизированным», если все его входы маркированы. В активизированном состоянии позиции
разрешается (но не требуется) быть «возбужденной». Если позиция «возбуждена», то вход, поступающий на
переход, становится немаркированным, а вместо него каждый выход из перехода оказывается маркированным. В
модели сети Петри потенциальные опасности могут быть представлены в виде конкретных состояний
(маркировок). Модель может быть расширена с тем. чтобы обеспечить возможности моделирования систем во
времени. И хотя «классические» сети Петри концентрируются на моделировании потоков управления, существуют
некоторые расширения модели сети Петри, в которых моделируются потоки данных.
D.56 Сквозной контроль/анализ проектов
Цель. Обнаружить ошибки в процессе разработки некоторого изделия с высокой оперативностью и эконо
мичностью
Описание. В МЭК 61160 представлено руководство по формальному анализу проектов, которое содержит
общее описание формального анализа проектов, его цели, подробные сведения о различных типах анализа про
екта. состав труппы анализа проекта, и относящиеся к ним обязанности и ответственности. МЭК 61160 содержит
также общие руководящие материалы по планированию и выполнению формального анализа проектов, а также
конкретные подробные сведения, относящиеся к роли независимых специалистов в группе по анализу проекта.
МЭК 61160 рекомендует, чтобы «формальный анализ проекта проводился для всех новых изделий’процес-
сов. новых применений и при пересмотрах существующих изделий и производственных процессов, влияющих на
функции, производительность, безопасность, надежность, способность анализировать обслуживание, доступ
ность. способность к экономичности и другие характеристики, влияющие на конечные издалия/процессы, пользо
вателей или стоящих рядом лиц».
Для выполнения сквозного контроля кода необходимы труппы сквозного контроля, выбирающая небольшой
набор изложенных на бумаге тестовых примеров, представительные наборы входных данных и соответствующих
предполагаемые выходы для программы. После этого тестовые данные вручную пропускаются через логику про
граммы.
D.57 Объектно-ориентированное программирование
Цель. Обеспечить быстрое прототипирование, более легко повторно использовать существующие компо
ненты программного обеспечения, достигнуть сокрытия информации, уменьшить вероятность ошибок в течение
всего жизненного цикла, снизить необходимые усилия во время стадии сопровождения, преобразовать сложные
проблемы в небольшие, достаточно легко управляемые проблемы, уменьшить зависимости между компонентами
программного обеспечения, создать более легко расширяемые приложения.
Описание. Обьектно-ориентированное программирование — это существенно новый подход в программи
ровании. основанный на абстракциях, которые существуют в реальном мире, а не на вычислительных абстракци ях.
Обьектно-ориентированное программирование позволяет организовать программное обеспечение как набор
объектов, которые включают и структуру данных и поведение. Обьектно-ориентированный подход отличается от
стандартного программирования, где структура данных и поведение только соединены не жестко.
Объект; Объект состоит из закрытой области данных и набора операций — так называемых методов — для
этого объекта. Методы могут быть общедоступными или частными. Никакому другому компоненту программного
обеспечения не позволено считать или изменить частные данные объекта непосредственно.
Л
юбой компонент
программного обеспечения должен использовать общедоступные методы для этого объекта, чтобы считать или
записать данные в частной области данных объекта.
Класс объекта. Определяя класс объекта (часто в форме определения типа) Вы обеспечиваете инстанци-
ирование многочисленных объектов того же класса, т. е. у всех инстанциаций частная область данных и методы,
определенные в этом классе объекта.
Наследование (множественное). Класс объекта может наследовать частную область данных и методы одно
го или более суперклассов (классов объектов выше его в иерархии классов), а также может добавлять некоторые
частные данные, добавлять некоторые методы или изменять реализации наследованных методов. Используя
на следование. могут быть созданы деревья множественных экземпляров классов объектов.
Полиморфизм. Одна и та же операция может выполняться по-другому на различных классах объектов, на
пример. операция записи для терминального объекта записывает символы в этот терминал, и операция записи в
файловый объект записывает символы в этот файл.
88