ГОСТ Р МЭК 61508-7—2012
В.2.4 Автоматизированные средства разработки спецификации
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.1 и В.6)
и в МЭК 61508-3 (таблицы А.1.А.2. С.1 и С.2).
В.2.4.1 Общие положения
Цель. Использование формальных методов спецификации для упрощения автоматического обнаружения
неоднозначностей и полноты.
Описание. Данный метод создает спецификацию в виде базы данных, которая может автоматически анали
зироваться для оценки согласованности и полноты. Инструмент спецификации может в интересах пользователя
использовать анимацию различных аспектов специфицированной системы. В общем случае данный метод под
держивает создание не только спецификаций, но и этап проектирования, а также другие этапы жизненного цикла.
Инструменты спецификаций могут быть классифицированы в соответствии со следующими пунктами настоящего
приложения.
В.2.4.2 Инструменты, неориентированные на конкретный метод
Цель. Помощь пользователю в составлении правильной спецификации, применяя подсказки и формируя
связи между соответствующими частями.
Описание. Инструмент спецификаций освобождает пользователя от некоторой рутинной процедуры,
поддерживает управление проектом и не представляет собой какую-либо конкретную методологию разработ ки
спецификаций. Относительная независимость пользователей от метода позволяет быть более свободными при
выборе конкретного метода и дает немного специальной поддержки, необходимой при создании специфи каций,
что усложняет освоение системы.
В.2.4.3 Процедура, ориентированная на модель с иерархическим анализом
Цель. Предотвратить неполноту, неоднозначность и противоречивость в спецификации, например, помогая
пользователю в создании правильной спецификации, обеспечении согласованности между описаниями процессов и
данных на различных уровнях абстрагирования.
Описание. Данный метод дает функциональное представление о необходимой системе (структурный ана
лиз) на различных уровнях абстрагирования (степень точности). Существует огромный арсенал таких моделей: ко
нечные автоматы — класс таких моделей, широко используемых для описания построения дискретных/цифровых
систем. Дифференциальные уравнения подобны подуху и целям для описания непрерывных/аналоговых систем.
Структурный анализ проводится на различных уровнях абстрагирования как с процессами, так и с данными. Оцен ка
неоднозначности и полноты возможна между иерархическими уровнями, а также между двумя функциональны ми
единицами (модулями) на одном и том же уровне (например любое состояние модели системы описывается ее
начальным состоянием, входами и уравнениями перехода автомата из одного состояния в другое).
П р и м е ч а н и е — Проблемами при описании, основанном на моделях, могут быть: уровень абстракции;
ограничения для получения всей функциональности, относящейся к данному этапу; трудности понимания модели
практиками (от чтения синтаксиса до ее правильной интерпретации); значительные усилия, затрачиваемые на раз
работку. анализ и поддержку модели на воем жизненном цикле системы; доступность эффективных инструментов,
поддерживающих создание и анализ модели (разработка таких инструментов, конечно, требует больших усилий); и
наличие специалистов, способных разрабатывать и анализировать модели.
Литература:
System requirements analysis. Jeffrey О. Grady. Academic Press. 2006. ISBN 012088514X. 9780120885145.
B.2.4.4 Модели данных сущность—связь—атрибут
Цель. Помощь пользователю в создании правильной спецификации на основе использования при описании
системы сущностей и отношений между ними.
Описание. Описание проектируемой системы в виде совокупности объектов и отношений между ними позво
ляет определять, какие отношения могут интерпретироваться системой. В общем случае эти отношения позволяют
описывать иерархическую структуру объектов, поток данных, отношения между данными и данные, зависимые
от конкретных производственных процессов. Этот классический подход расширен применением управления про
цессами. Возможности обследования и поддержка пользователя зависят от разнообразия проиллюстрированных
отношений. Но множество возможностей представления усложняет применение этого метода.
Литература:
Software Requirements: Practical Techniques for Gathering and Managing Requirements Throughout the Product
Development Cycle. Karl Eugene Wtegers. Microsoft Press. 2003. ISBN 0735618798. 9780735618794.
B.2.4.5 Стимул и ответ
Цель. Помощь пользователю в создании правильной спецификации путем идентификации взаимоотноше
ний «стимул — ответ».
Описание. Взаимоотношения между объектами системы определены в нотации «стимулы» и «ответы». Ис
пользуется простой и легко расширяемый язык, который содержит элементы языка, представляющие объекты,
взаимоотношения, характеристики и структуры.
В.2.5 Таблица контрольных проверок
П р и м е ч а н и е — Ссылка на данный мвтод/срвдство приведена в МЭК 61508-2 (таблицы В.1. В.2 и В.6)
и в МЭК 61508-3 (таблицы А.10. В.8. С.10 и С.18).
20