В дополнение к данному документу направлено письмо Минцифры России от 15.03.2023 N МП-П11-070-17504.

Определение требований к ПО

В рамках процесса определения требований к ПО разработчик определяет требования к ПО, которые будут выполнены каждым элементом конфигурации ПО (далее - "ЭКПО"), методы, которые нужно использовать для того, чтобы каждое требование было выполнено, и следит за соответствием между требованиями к ЭКПО и системными требованиями. Результат этих работ может быть включен в документ "Спецификация требований к ПО" либо в иной документ. Требования относительно интерфейсов ЭКПО могут быть включены либо в спецификацию требований к ПО, либо в спецификацию требований к интерфейсу, либо в иной документ.

Процесс определения требований к ПО обеспечивает следующее:

- анализ функциональных системных требований и требований к интерфейсам, которые предназначены для программной реализации, на отсутствие противоречий, несоответствий и неопределенностей;

- регистрацию для последующего уточнения или исправления и передачи в качестве входной информации обратной связи к исходным процессам тех входных данных процесса определения требований к ПО, которые оказались неадекватными или некорректными;

- спецификацию в документе требований верхнего уровня каждого системного требования, которое предназначено для программной реализации;

- определение всех требований верхнего уровня, соответствующих системным требованиям, которые связаны с предотвращением риска;

- верифицируемость, непротиворечивость и соответствие требований верхнего уровня стандартам на разработку требований к ПО;

- установление требований верхнего уровня в количественных показателях с погрешностями в тех случаях, когда это необходимо;

- требования верхнего уровня не должны описывать детали проектирования или верификации, исключая определения и обоснования ограничений проектирования;

- трассируемость каждого системного требования, которое предназначено для программной реализации, к одному или нескольким требованиям верхнего уровня для ПО;

- трассируемость каждого требования верхнего уровня, кроме производных требований к одному или нескольким системным требованиям;

- оценку производных требований верхнего уровня с точки зрения безопасности системы.