ГОСТ Р МЭК 62279—2016
Йордона в реальном времени) в большей степени ориентированы на процессы управления и задами реального
времени (для систем, реализующих такие задачи, характеристика безопасности является более критичной, чем
для других систем).
Структурные методы можно считать «интеллектуальными инструментами», предназначенными для обоб
щенного восприятия и структуризации конкретной проблемы или системы. К их основным свойствам относятся:
- использование лотки в рассуждениях и выводах, декомпозиция сложной проблемы на управляемые ста
дии;
- анализ идокументирование всей системы, включая окружение, а также разрабатываемую систему;
- декомпозиция данных и функций в разрабатываемой системе;
- использование контрольных таблиц, то есть списков типов обьектов, нуждающихся в анализе;
- малая интеллектуальная перегрузка — простота, интуитивность и практичность.
Нотации, используемые для анализа и документирования проблем и объектов системы (например на основе
процессов и потоков данных), ориентированы на строгость, однако нотации для выражения функций обработки,
выполняемых этими объектами, являются более неформальными. В то же время некоторые методы частично ис
пользуют (математически) формальные нотации (например, JSD использует регулярные выражения; метод Йор
дона. SOM и SDL используют конечные состояния автоматов). Увеличение точности нотации не только повышает
уровень понимания, но и обеспечивает возможность автоматизированной обработки.
Другим преимуществом структурных нотаций является их наглядность, которая позволяет пользователю ин
туитивно проверять возможности спецификации или проекта при наличии у него большого объема, хотя и непол ной
информации.
D.53 Структурное программирование
Цель. Проектирование и реализация компонента программного обеспечения с использованием практиче
ского анализа компонента программного обеспечения без его выполнения. Такой анализ должен быть способен
обнаружить все существенное поведение компонента.
Описание. Компонент программного обеспечения должен обладать минимальной структурной сложностью.
Сложные ветвления должны быть исключены. По возможности, ограничения цикла и ветвление должны быть про сто
связаны с входными параметрами. Компонент программного обеспечения должен быть разделен на подхо
дящие. небольшие модули, взаимодействие между которыми должно быть точно специфицировано. Следует ис
пользовать свойства языков программирования, которые способствуют данному методу, предпочитая их другим
свойствам, которые (как утверждают) более эффективны, за исключением случаев, когда эффективность приоб
ретает абсолютный приоритет (например некоторые критичные к безопасности системы).
D.54 Выбор подходящего языка программирования
Цель. Обеспечение в максимальной степени требований настоящего стандарта для специального защищаю
щего программирования, строгой типизации, структурного программирования и. возможно, суждений. Выбранный
язык программирования должен обеспечить легко верифицируемый код и простые процедуры разработки, вери
фикации и эксплуатации программ.
Описание. Язык программирования должен быть полностью и однозначно определен. Язык должен быть
ориентирован на пользователя или проблему, а не на процессор или платформу. Широко используемые языки про
граммирования или их подмножества должны быть предпочтительнее языков специального применения.
Языки программирования также должны обеспечивать:
- блочную структуру организации программ;
- проверку времени трансляции;
- проверку во время работы программы типов и границ массивов.
Язык программирования должен включать в себя:
- использование небольших и управляемых компонент:
- ограничение доступа к данным в определенных компонентах:
- определение поддиапазонов переменных;
- любые другие типы конструкции, ограничивающие ошибки.
Желательно, чтобы язык программирования обеспечивался соответствующим транслятором, подходящими
библиотеками с заранее созданными программными модулями, отладчиком и инструментами как для управления
версиями, так и для разработки.
К свойствам, которые усложняют верификацию и поэтому должны быть исключены, относятся:
- безусловные переходы (за исключением вызовов подпрограмм);
- рекурсии;
- указатели, динамически распределяемые области памяти или любые типы динамических переменных или
объектов;
- обработка прерываний на уровне исходного кода;
- множество входов или выходов в циклах, блоках или подпрограммах:
- неявная инициализация или объявление переменных:
87