ГОСТ Р 53195.5— 2010
Приложение В
(справочное)
МетодыУсредства для достижения полноты
безопасности программного обеспечения (см. ГОСТ Р 53195.4)
В.1 Общие положения
Методы/средства, содержащиеся в этом приложении, не следует рассматривать как полные или исчерпы
вающие. СБЗС-системы. средства программирования непрерывно развиваются, и методы/средства. предназна
ченные для достижения полноты безопасности программного обеспечения, непрерывно совершенствуются. В
первую очередь следует ориентироваться на стандартизованные методы/средства. В случав применения
новых методоа|’средств следует сформулировать и сохранить все доказательственные материалы, демонстри
рующие преимущество новых методов, средств перед методами/средствами, описанными в настоящем прило
жении.
Более подробное описание некоторых методое/средств приведено в (99—103].
В.2 Требования и детальное проектирование
П р и м е ч а н и е — Соответствующие методы/средства приведены в Б.2 настоящего стандарта.
В.2.1 Структурные методы
П р и м е ч а н и е — На этот метод/средстводана ссылка в ГОСТ Р 53195.4 (таблицы А.2 и А.4).
В.2.1.1 Общие положения
Цель: обеспечение необходимого качества разработки ПО. Основное внимание уделено ранним стадиям
жизненного цикла создаваемой системы. В структурных методах используются как точные, так и интуитивные
процедуры и нотации (поддерживаемые компьютерами) для задания и документирования требований и обеспе
чения реализации программы в логической последовательности структурированным способом.
Описание: существует ряд структурных методов. Некоторые из них спроектированы для выполнения тради
ционных функций обработки данных и групповых операций, другие (MASCOT. JSD, Yourdon в режиме реального
времени) — в большей степени ориентированы на процессы управления и задачи реального времени (которые
более критичны с точки зрения безопасности).
Структурные методы — это. в основном, «интеллектуальные инструменты*, предназначенные для обоб
щенного восприятия и декомпозиции задачи или системы. К их основным свойствам относятся:
- логичность рассуждений и выводов, декомпозиция сложной задачи на управляемые стадии;
- анализ и документирование общей системы, включая окружающую среду, а также разрабатываемую
систему;
- декомпозиция данных и функций в разрабатываемой системе;
- контрольные таблицы, то есть списки типов объектов, нуждающихся в анализе:
- малая интеллектуальная перегрузка — просто, интуитивно, практично.
Нотации, используемые для анализа и документирования задач и объектов системы (например, на основе
процессов и потоков данных), ориентированы на точность, однако нотации для выражения функций обработки,
выполняемых этими объектами, оказываются более неформальными. В то же время в некоторых методах час
тично используют (математически) формальные нотации (например, в JSD используют регулярные выражения, в
Yourdon. SOM и SDL используют теорию конечных автоматов). Увеличение точности не только повышает уровень
понимания, но и обеспечивает возможность автоматизированной обработки.
Другим преимуществом структурных нотаций является их наглядность, которая позволяет пользователю
интуитивно проверять возможности спецификации или проекта при неполной информации.
Настоящий раздел содержит подробное описание пяти структурных методов: «Представление требова
ний». «Разработка системы по Джексону», MASCOT. «Yourdon для систем реального времени» и «Методология
структурного анализа и проектирования (SADT)».
Более подробное описание данного метода/средства приведено в [104—106].
В.2.1.2 CORE — контролируемое представление требований
Цель: обеспечение представления и формулирования всех требований.
Описание: этот подход используют для улучшения взаимопонимания между потребителем/конечным пользо
вателем и аналитиком. Он не основан на математически строгой теории, а является средством коммуникации.
Метод CORE создан для представления требований, а не спецификаций. Этот подход структурирован, все его
представления проходят через различные уровни уточнений. Метод CORE используют для широкого круга задач.
Он учитывает сведения об окружающей среде, в которой функционирует система, а также различные точки зре ния
разных категорий пользователей. Метод CORE содержит руководящие материалы и тактические методы для ухода
от «грандиозного проекта». Аргументы такого ухода могут быть скорректированы либо явным образом
идентифицированы и задокументированы. Таким образом, спецификации могут быть неполными, однако
выявленные нерешенные задачи и области высокого риска должны быть рассмотрены при последующем
проектировании.
Подробное описание метода/средства приведено в [105—110].
34