ГОСТ Р МЭК 61508-7—2007
Приложение С
(справочное)
Анализ методов и средств достижения полноты безопасности программного обеспечения
(см. МЭК 61508-3)
С.1 Общие положения
Анализ методов, содержащийся в настоящем приложении, не следует рассматривать как полный или ис
черпывающий.
Литература:
System — Safety Society of America System Safety Anafysis Handbook. System Safety Society. New Mexico
Chapter. PO Box 95424. Albuquerque NM. USA.
Dependability of Critical Computer Systems 3. P. G. Bishop et al. Elsevier Applied Science. 1990. ISBN
1-85166-544-7.
Encyclopaedia of Software Engineering. Ed. J. Marciniak. John Wiley & Sons. 1994. ISBN 0-471-54004-8.
Software Engineer’s Reference Book. Ed. J. McOermid. Butterworth-Heinemann. 1991. ISBN 0-7506-1040-9.
C.2 Требования и детальное проектирование
П р и м е ч а н и е — Соответствующие методы и средства приведены в В.2.
С.2.1 Структурные методы
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблицы А.2 и А.4).
С.2.1.1Общие положения
Цель: основная цель методов анализа структуры (структурных методов) состоит в обеспечении качества
разработки программного обеспечения. Данные методы в основном используются на ранних стадиях жизненно го
цикла создаваемой системы. Структурные методы используют как точные, так и интуитивные процедуры и
нотации (поддерживаемые компьютерами), а также определяют и позволяют документировать требования и
возможности реализации в логической последовательности и структурированным способом.
Описание: существует достаточно много структурных методов. Некоторые из них созданы для выполнения
традиционных функций обработки данных и транзакций, другие (MASCOT, JSD. Yourdon в режиме реального
времени) — в большей степени ориентированы на процессы управления и задачи реального времени (для сис
тем. реализующих такие задачи, характеристика безопасности является более критичной, чем для других систем).
Структурные методы можно считать «интеллектуальными инструментами», предназначенными для обоб
щенного восприятия и структуризации конкретной проблемы или системы. К их основным свойствам относятся:
- использование логики в рассуждениях и выводах, декомпозиция сложной проблемы на управляемые
стадии;
- анализ и документирование общей системы, включая окружающую среду, а также разрабатываемую систе
му;
- декомпозиция данных и функций в разрабатываемой системе;
- использование контрольных таблиц, то есть списков типов объектов, нуждающихся в анализе;
- малая интеллектуальная перегрузка - простота, интуитивность и практичность при представлении пробле
мы или системы.
Нотации, используемые для анализа и документирования проблем и объектов системы (например, на
основе процессов и потоков данных), ориентированы на строгость, однако нотации для выражения функций
обработки выполняемых этими объектами являются более неформальными. В то же время некоторые методы
частично используют формальные нотации (например, JSD использует регулярные выражения; Yourdon, SOM и
SDL используют теорию конечных автоматов). Увеличение точности нотации не только повышает уровень понима
ния. но и обеспечивает возможность автоматизированной обработки.
Другим преимуществом структурных нотаций является их наглядность, которая позволяет пользователю
интуитивно проверять возможности спецификации или проекта при неполной информации.
Настоящее приложение содержит подробное описание пяти структурных методов: представление требова
ний, разработка системы поДжексону, MASCOT. Yourdon для систем реального времени и методология структур
ного анализа и проектирования (SADT).
Литература:
Software Design for Real-time Systems. J. E. Cooling. Chapman and Hall. 1991.
Structured Development for Real-Time Systems (3 Volumes). P. T. Ward and S. J. Mellor. Yourdon Press. 1985.
Essential Systems Analysis. St. M. McMenamin. F. Palmer. Yourdon Inc. New York, 1984.
The Use of Structured Methods in Development of Large Software-Based Avionic Systems. D. J. Hatley. Proc.
DASC. Baltimore, 1984.
32