7.1.3 Операция «выбор» ГОСТ Р ИСО/МЭК 15408-1-2012

Операцию «выбор» осуществляют тогда, когда рассматриваемый компонент включает элемент, в котором разработчиком ПЗ/ЗБ должен быть сделан выбор из нескольких пунктов.

Каждый раз, когда элемент в ПЗ предусматривает операцию «выбор», разработчик ПЗ может выполнить одно из трех действий:

  1. оставить операцию «выбор» полностью невыполненной;
  2. полностью выполнить операцию «выбор» путем выбора одного или более пунктов;
  3. ограничить операцию «выбор», удалив некоторые из вариантов, но оставив два или более.

Каждый раз, когда элемент в ЗБ предусматривает операцию «выбор», разработчик ЗБ должен завершить выполнение этой операции «выбор», как указано выше в варианте b). Варианты а) и с) для ЗБ не допускаются.

Пункт или пункты, выбранные при выполнении действий по вариантам b) и с), должны быть взяты из пунктов, предоставленных для выбора [из 7.1.3 Операция «выбор» ГОСТ Р ИСО/МЭК 15408–1–2012]