ГОСТ Р 51904-2002 Программное обеспечение встроенных систем. Общие требования к разработке и документированию

Цель

Применимость к уровням ПО

Результат

Категория контроля по уровням ПО

Описание

Ссылка

А

В

C

D

Описание

Ссылка

А

В

С

D

Определить виды работ процессов разработки ПО и интегральных процессов

6.1а), 6.3

0

0

0

0

План сертификации в части ПО

12.1

1

1

1

1

План разработки ПО

12.2

1

1

2

2

План верификации ПО

12.3

1

1

2

2

Определить критерии перехода, взаимосвязи и последовательность выполнения процессов

6.1б), 6.3

0

0

0

План квалификационного тестирования ПО

12.4

1

1

2

2

План управления конфигурацией ПО

12.5

1

1

2

2

Определить среду жизненного цикла ПО

6.1 в)

0

0

0

План обеспечения качества ПО

12.6

1

1

2

2

План установки ПО

12.7

1

1

2

2

Рассмотреть дополнительные вопросы

6.1 г)

0

0

0

0

План передачи ПО

12.8

1

1

2

2

Определить стандарты на разработку ПО

6.1 д)

0

0

0

Стандарты на разработку требований к ПО

12.9

1

1

2

Стандарты на процесс проектирования ПО

12.10

1

1

2

Стандарты кодирования ПО

12.11

1

1

2

Согласование планов ПО с настоящим стандартом

6.1 е), 6.7

0

0

0

Протоколы обеспечения качества ПО

12.30

2

2

2

Результаты верификации ПО

12.23

2

2

2

Координация планов создания ПО

6.1 ж), 6.7

0

0

0

Протоколы обеспечения качества ПО

12.30

2

2

2

Результаты верификации ПО

12.23

2

2

2

     Обозначения:

     0 - цель должна быть удовлетворена;

     пробел - удовлетворение цели на усмотрение заказчика;

     1 - документ должен удовлетворять целям категории контроля 1 (КК1);

     2 - документ должен удовлетворять целям категории контроля 2 (КК2).

Цель

Применимость к уровням ПО

Результат

Категория контроля по уровням ПО

Описание

Ссылка

А

В

C

D

Описание

Ссылка

А

В

С

D

Разработать требования верхнего уровня

7.1.1 а)

0

0

0

0

Спецификация системы/подсистемы

12.12

1

1

1

1

Спецификация требований к ПО

12.13

1

1

1

1

Спецификация требований к интерфейсу

12.14

1

1

1

1

Определить производные требования верхнего уровня

7.1.1 б)

0

0

0

0

Спецификация требований к ПО

12.13

1

1

1

1

Спецификация требований к интерфейсу

12.14

1

1

1

1

Разработать архитектуру ПО

7.2.1 а)

0

0

0

0

Описание проекта системы/ подсистемы

12.15

1

1

2

2

Описание проекта ПО

12.16

1

1

2

2

Описание проекта интерфейса

12.17

1

1

2

2

Описание проекта базы данных

12.18

1

1

2

2

Разработать требования нижнего уровня

7.2.1 а)

0

0

0

0

Описание проекта ПО

12.16

1

1

2

2

Определить производные требования нижнего уровня

7.2.1 б)

0

0

0

0

Описание проекта ПО

12.16

1

1

2

2

Разработать исходный код

7.3.1

0

0

0

0

Исходный код ПО

12.19

1

1

1

1

Получить исполняемый объектный код и выполнить интеграцию ПО/аппаратуры

7.4.1

0

0

0

0

Исполняемый объектный код ПО

12.20

1

1

1

1

Подготовить руководства пользователя и руководства

поддержки

5.9.3, 5.10.6

Спецификация программного средства

12.27

2

2

2

2

Описание эксплуатационной концепции

12.32

2

2

2

2

Руководство по эксплуатации компьютера

12.33

2

2

2

2

Руководство по программированию для компьютера

12.34

2

2

2

2

Руководство поддержки программно-аппаратных средств

12.35

2

2

2

2

Руководство оператора ПО

12.36

2

2

2

2

Руководство по входной/выходной информации ПО

12.37

2

2

2

2

Руководство пользователя ПО

12.38

2

2

2

2

Описание версии ПО

12.39

2

2

2

2

Обозначения:

0 - цель должна быть удовлетворена;

пробел - удовлетворение цели на усмотрение заказчика;

1 - документ должен удовлетворять целям категории контроля 1 (КК1);

2 - документ должен удовлетворять целям категории контроля 2 (КК2).

Цель

Применимость к уровням ПО

Результат

Категория контроля по уровням ПО

Описание

Ссылка

А

B

C

D

Описание

Ссылка

А

В

С

D

Требования верхнего уровня к ПО согласуются с требованиями к системе

8.3.1 а)

*

*

0

0

Результаты верификации ПО

12.23

2

2

2

2

Требования верхнего уровня точны и непротиворечивы

8.3.1 б)

*

*

0

0

Результаты верификации ПО

12.23

2

2

2

2

Требования верхнего уровня совместимы с объектным компьютером

8.3.1 в)

0

0

Результаты верификации ПО

12.23

2

2

Требования верхнего уровня верифицируемы

8.3.1 г)

0

0

0

Результаты верификации ПО

12.23

2

2

2

Требования верхнего уровня соответствуют стандартам на разработку требований к ПО

8.3.1 д)

0

0

0

0

Результаты верификации ПО

12.23

2

2

2

2

Требования верхнего уровня трассируемы к системным требованиям

8.3.1 е)

0

0

0

0

Результаты верификации ПО

12.23

2

2

2

2

Алгоритмы точны и корректны

8.3.1 ж)

*

*

0

Результаты верификации ПО

12.23

2

2

2

     Обозначения:

     * - цель должна быть удовлетворена с обеспечением независимости;

     0 - цель должна быть удовлетворена;

     пробел - удовлетворение цели на усмотрение заказчика;

     2 - документ должен удовлетворять целям категории контроля 2 (КК2).

Цель

Применимость к уровням ПО

Результат

Категория контроля по уровням ПО

Описание

Ссылка

А

B

C

D

Описание

Ссылка

А

В

С

D

Требования нижнего уровня к ПО согласуются с требованиями верхнего уровня

8.3.3 а)

*

*

0

Результаты верификации ПО

12.23

2

2

2

Требования нижнего уровня точны и непротиворечивы

8.3.3 б)

*

*

0

Результаты верификации ПО

12.23

2

2

2

Требования нижнего уровня совместимы с объектным компьютером

8.3.3 в)

0

0

Результаты верификации ПО

12.23

2

2

Требования нижнего уровня верифицируемы

8.3.3 г)

0

0

Результаты верификации ПО

12.23

2

2

Требования нижнего уровня соответствуют стандартам

8.3.3 д)

0

0

0

Результаты верификации ПО

12.23

2

2

2

Требования нижнего уровня трассируемы к требованиям верхнего уровня

8.3.3 е)

0

0

0

Результаты верификации ПО

12.23

2

2

2

Алгоритмы точны и корректны

8.3.3 ж)

*

*

0

Результаты верификации ПО

12.23

2

2

2

Архитектура ПО согласуется с требованиями верхнего уровня

8.3.2 а)

*

0

0

Результаты верификации ПО

12.23

2

2

2

Архитектура ПО непротиворечива

8.3.2 б)

*

0

0

Результаты верификации ПО

12.23

2

2

2

Архитектура ПО совместима с объектным компьютером

8.3.2 в)

0

0

Результаты верификации ПО

12.23

2

2

Архитектура ПО верифицируема

8.3.2 г)

0

0

Результаты верификации ПО

12.23

2

2

Архитектура ПО соответствует стандартам на процесс проектирования ПО

8.3.2 д)

0

0

0

Результаты верификации ПО

12.23

2

2

2

Подтверждается целостность разбиения ПО

8.3.2 е)

*

0

0

0

Результаты верификации ПО

12.23

2

2

2

2

Обозначения:

* - цель должна быть удовлетворена с обеспечением независимости;

0 - цель должна быть удовлетворена;

пробел - удовлетворение цели на усмотрение заказчика;

2 - документ должен удовлетворять целям категории контроля 2 (КК2).

Цель

Применимость к уровням ПО

Результат

Категория контроля по уровням ПО

Описание

Ссылка

А

B

C

D

Описание

Ссылка

А

В

С

D

Исходный код согласуется с требованиями нижнего уровня

8.3.4 а)

*

*

0

Результаты верификации ПО

12.23

2

2

2

Исходный код согласуется с архитектурой ПО

8.3.4 б)

*

0

0

Результаты верификации ПО

12.23

2

2

2

Исходный код верифицируем

8.3.4 в)

0

0

Результаты верификации ПО

12.23

2

2

Исходный код соответствует стандартам

8.3.4 г)

0

0

0

Результаты верификации ПО

12.23

2

2

2

Исходный код трассируем к требованиям нижнего уровня

8.3.4 д)

0

0

0

Результаты верификации ПО

12.23

2

2

2

Исходный код точен и непротиворечив

8.3.4 е)

*

0

0

Результаты верификации ПО

12.23

2

2

2

Результаты процесса интеграции ПО полны и корректны

8.3.5

0

0

0

Результаты верификации ПО

12.23

2

2

2

Обозначения:

* - цель должна быть удовлетворена с обеспечением независимости;

0 - цель должна быть удовлетворена;

пробел - удовлетворение цели на усмотрение заказчика;

2 - документ должен удовлетворять целям категории контроля 2 (КК2).

Цель

Применимость к уровням ПО

Результат

Категория контроля по уровням ПО

Описание

Ссылка

А

B

C

D

Описание

Ссылка

А

В

С

D

Исполняемый объектный код согласуется с требованиями верхнего уровня

8.4.2, 8.4.3 а), б), 8.5.4

0

0

0

0

Процедуры верификации ПО

12.21

1

1

2

2

Описание квалификационного тестирования ПО

12.22

1

1

2

2

Результаты верификации ПО

12.23

2

2

2

2

Отчет о квалификационном тестировании ПО

12.24

2

2

2

2

Исполняемый объектный код устойчив относительно входов, определенных требованиями верхнего уровня

8.4.2, 8.4.3 а), б), 8.5.4

0

0

0

0

Процедуры верификации ПО

12.21

1

1

2

2

Описание квалификационного тестирования ПО

12.22

1

1

2

2

Результаты верификации ПО

12.23

2

2

2

2

Отчет о квалификационном тестировании ПО

12.24

2

2

2

2

Исполняемый объектный код согласуется с требованиями нижнего уровня

8.4.2, 8.4.3 в)

*

*

0

Процедуры верификации ПО

12.21

1

1

2

Результаты верификации ПО

12.23

2

2

2

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

8.4.2, 8.4.3 в)

*

0

0

0

Процедуры верификации ПО

12.21

1

1

2

2

Результаты верификации ПО

12.23

2

2

2

2

Исполняемый код совместим с объектным компьютером

8.4.3 а)

0

0

0

0

Процедуры верификации ПО

12.21

1

1

2

2

Описание квалификационного тестирования ПО

12.22

1

1

2

2

Результаты верификации ПО

12.23

2

2

2

2

Отчет о квалификационном тестировании ПО

12.24

2

2

2

2

Обозначения:

* - цель должна быть удовлетворена с обеспечением независимости;

0 - цель должна быть удовлетворена;

пробел - удовлетворение цели на усмотрение заказчика;

1 - документ должен удовлетворять целям категории контроля 1 (КК1);

2 - документ должен удовлетворять целям категории контроля 2 (КК2).

Цель

Применимость к уровням ПО

Результат

Категория контроля по уровням ПО

Описание

Ссылка

А

В

C

D

Описание

Ссылка

А

В

С

D

Тестовые процедуры корректны

8.3.6 б), 8.5.4

*

0

0

Процедуры верификации ПО

12.21

2

2

2

Описание квалификационного тестирования ПО

12.22

2

2

2

Результаты тестов корректны и все расхождения объяснены

8.3.6 в), 8.5.4

*

0

0

Результаты верификации ПО

12.23

2

2

2

Отчет о квалификационном тестировании ПО

12.24

2

2

2

Тестовое покрытие требований верхнего уровня достигнуто

8.4.4.1, 8.5.4

*

0

0

0

Результаты верификации ПО

12.23

2

2

2

2

Отчет о квалификационном тестировании ПО

12.24

2

2

2

2

Тестовое покрытие требований нижнего уровня достигнуто

8.4.4.1

*

0

0

Результаты верификации ПО

12.23

2

2

2

Тестовое покрытие структуры ПО (модифицированное покрытие условий/решений) достигнуто

8.4.4.2

*

Результаты верификации ПО

12.23

2

Тестовое покрытие структуры ПО (покрытие решений) достигнуто

8.4.4.2 а), 8.4.4.2 б)

*

*

Результаты верификации ПО

12.23

2

2

Тестовое покрытие структуры ПО (покрытие операторов) достигнуто

8.4.4.2 а), 8.4.4.2 б)

*

*

0

Результаты верификации ПО

12.23

2

2

2

Тестовое покрытие структуры ПО (связи по управлению и связи по данным) достигнуто

8.4.4.2 в)

*

*

0

Результаты верификации ПО

12.23

2

2

2

Обозначения:

* - цель должна быть удовлетворена с обеспечением независимости;

0 - цель должна быть удовлетворена;

пробел - удовлетворение цели на усмотрение заказчика;

2 - документ должен удовлетворять целям категории контроля 2 (КК2).