ГОСТ Р МЭК 62138—2010
6.3.3 Содержание
1 Спецификация требований к программномуобеспечению должна определять:
- прикладные функции, которые должны быть обеспечены программным обеспечением;
- различные режимы работы программного обеспечения исоответствующие условия переходов;
- интерфейсы ивзаимодействиепрограммногообеспечениясего окружением(например, сопера-
торами. остальной частью системы СКУ. другими системами и оборудованием, с которыми оно взаимо
действует или разделяетресурсы), включая ролевые имена, типы, форматы, диапазоны иограничения
по входам и выходам;
- параметры программного обеспечения, которые, при необходимости, изменяются операторами
вовремяэксплуатации, их ролевыеимена, типы, форматы, диапазоны иограничения ипроверки, осуще
ствляемые программным обеспечением в случае изменений этих параметров;
- требуемые рабочиехарактеристики (при необходимости);
- указание на то. чего программноеобеспечение недолжно делать или чегодолжно избегать (при
необходимости);
- при необходимости требования или допущения, устанавливаемые программным обеспечением
к его окружению.
2 Вспецификации требований к программному обеспечению следуеттакже устанавливать пара
метры (например, загрузкапозапросу),подверженные воздействию окружения программногообеспече
ния, особеннодля наихудших условий.
Требования к функциям, интерфейсам и характеристикам могут зависеть от режима работы, зна
чений параметров, данных конфигурации иусловий, создаваемыхдля программногообеспечения.
3 В спецификации требований к программному обеспечению следует определять режимы его
работы приобнаруженииошибокили отказов. Еслидля СКУ требуютсяпериодическиетестирования, то
спецификация требований к программному обеспечению должна также определитьтребования к режи
му выполнения таких тестирований.
4 Спецификация требований к программному обеспечению должна содержать требования к
качеству программного обеспечения и указывать на необходимые ограничения проекта программного
обеспечения и его работы с целью обеспечения его корректности и работоспособности.
Например, в спецификациютребованийк программномуобеспечению могутвходитьограничения:
- направленные наобеспечениеуверенностив правильности программногообеспечения и проек
та системы (например, пределы, устанавливаемые при использовании динамически размещенных
ресурсов, таких какпамять, вычислительная мощность, полосапропускания канала связи, ресурсы опе
рационной системы);
- направленные наувеличение устойчивости СКУк дефектам, способности программногообеспе
чения обнаруживать ошибки и отказы иоповещатьо них. работать вуказанных режимах ивосстанавли
ваться послеотказов;
- направленные на обеспечение уверенности в том. что ошибки операторов и отказы других сис
тем или оборудования, с которыми программное обеспечение взаимодействует или использует общие
ресурсы, не будут приводить к недопустимым результатам.
5 Спецификация требований к программному обеспечению должна определить задачи програм
много обеспечения по своевременному информированию операторов об ошибках или отказах, касаю
щихся функций СКУ. определенных в качестве важных для безопасности. Информация,
предоставляемая операторам, должна позволить им предприниматьлюбое необходимоедействие.
6 Спецификация требований к программномуобеспечению должна определятьфункции итребо
вания. связанные с категорией безопасности С.
6.3.4 Свойства
1
Я
зы
к
и,правилаистандарты, используемыедляразработ
к
и специфи
к
ациитребований
к
про
граммному обеспечению, должны способствовать ее ясности и чет
к
ости, и их следует выбирать с
учетом использования этих объе
к
тов в соответствии с исходной информацией, ата
к
же при прое
к
тировании иреализациинового программногообеспечения.
Та
к
к
а
к
к
он
к
ретный формат специфи
к
ации не всегда обеспечивает ясное, чет
к
ое и проверяе
мое выражение всеготого, что требует определения, в одной итой же специфи
к
ациитребований
к
программномуобеспечению могут быть использованыразличные идополняющиедруг друга форма
ты ; например>,дляопределенияпри
к
ладныхфун
к
циймогут использоваться форматы, отличные о т
используемыхдля других фун
к
ций.
2 Требования специфи
к
ации должны быть выражены та
к
им способом, чтобы их соблюдение
могло быть объе
к
тивно оценено.
29