ГОСТ Р МЭК 62279—2016
a) завершенной, непротиворечивой, ясной, точной, однозначной, поддающейся проверке, тести
руемой. удобной в сопровождении и выполнимой.
b
) прослеживаемой к исходной спецификации требований к программному обеспечению.
7.3.4.11 Для достижения баланса между стратегиями предотвращения сбоев и устранения сбоов
в спецификацию архитектуры программного обеспечения должны быть включены меры для обработки
сбоев.
7.3.4.12 Спецификация архитектуры программного обеспечения должна содержать обоснование,
что эти методы, меры и инструменты выбраны из набора, который удовлетворяет спецификации тре
бований к программному обеспечению для требуемого уровня полноты безопасности программного
обеспечения.
7.3.4.13 Спецификация архитектуры программного обеспечения должна учитывать требования
8.4.8, если программное обеспечение будет сконфигурировано данными или алгоритмами приложений.
7.3.4.14 Спецификация архитектуры программного обеспечения должна содержать методы и
меры, выбранные из таблицы А.З. Выбранная комбинация должна быть обоснована как набор, удов
летворяющий требованиям 4.8 и 4.9.
7.3.4.15 Размер и сложность разработанной архитектуры программного обеспечения должны
быть сбалансированы.
7.3.4.16 Чтобы выявить требования или получить более подробное представление о требованиях
и их последствиях, на любой стадии может использоваться прототипирование.
7.3.4.17 Код из прототипа может использоваться в целевой системе, только если продемонстри
ровано. что код, его разработка и документация на него удовлетворяют требованиям настоящего стан
дарта.
7.3.4.18 Спецификация интерфейса программного обеспечения для всех интерфейсов между
компонентами программного обеспечения и внешних интерфейсов всего комплекса программного обе
спечения должна быть подготовлена письменно под руководством проектировщика, на основе специ
фикации требований к программному обеспечению и спецификации архитектуры программного обе
спечения.
Требование в 7.3.4.19 относится к спецификации интерфейса программного обеспечения.
7.3.4.19 Описание интерфейсов должно содержать:
a) (пред)постусловия;
b
) определение и описание всех граничных значений для всех определенных данных:
c) выполняемые действия в случае превышения граничного значения:
d) выполняемые действия в случае достижения граничного значения:
e) для критичных по времени входных и выходных данных:
1) временные ограничения и требования для корректной работы,
2) управление исключениями;
0 информацию о выделенной памяти для интерфейсных буферов и механизмах обнаруживаю
щих, о том. что память не может быть выделена или все буферы полны, где это применимо:
д) информацию о существовании механизмов синхронизации между функциями [см. перечисле
ние е)].
Все данные от идо интерфейсов должны быть определены для всего диапазона значений, опре
деленных типом данных, включая диапазоны, которые не используются, после обработки функциями;
h) определение и описание всех классов эквивалентности для всех определенных данных и каж
дой функции программного обеспечения, использующих их;
i) определение неиспользованных или запрещенных классов эквивалентности.
П р и м е ч ан и е — Тип данных включает в себя описание следующих данных:
a) входные параметры и выходные результаты функций и/ипи процедур;
b
) данные, определенные в телеграммах или коммуникационных пакетах:
c)данные от аппаратных средств.
7.3.4.20 Спецификация проекта программного обеспечения должна быть подготовлена в пись
менном виде под руководством проектировщика, на основе спецификации требований к программно му
обеспечению, спецификации архитектуры программного обеспечения и спецификации интерфейса
программного обеспечения.
Требования 7.3.4.21—7.3.4.24 относятся к спецификации проекта программного обеспечения.
31