Примени-

Категория

Цель

мость к

Результат

контроля по

уровням ПО

уровням ПО

Описание

Ссылка

А

В

с

D

Описание

Ссылка

А

В

с

D

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

8.4.2,

0

0

0

0

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

12.21

1

1

2

2

код согласуется с требованиями

8.4.3 а),б),

Описание квалификацион-

12.22

1

1

2

2

верхнего уровня

8.5.4

ного тестирования ПО

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

12.23

2

2

2

2

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

12.24

2

2

2

2

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

8.4.2,

0

0

0

0

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

12.21

1

1

2

2

код устойчив относительно

8.4.3 а), б),

Описание квалификацион-

12.22

1

1

2

2

входов, определенных требова-

8.5.4

ного тестирования ПО

ниями верхнего уровня

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

12.23

2

2

2

2

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

12.24

2

2

2

2

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

8.4.2,

*

*

0

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

12.21

1

1

2

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

8.4.3 в)

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

12.23

2

2

2

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

8.4.2,

_*

0

0

0

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

12.21

1

1

2

2

код устойчив относительно входов, определенных требова-

8.4.3 в)

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

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).

Примени-

Категория

Цель

мость к

Результат

контроля по

уровням ПО

уровням ПО

Описание

Ссылка

А

В

с

D

Описание

Ссылка

А

В

с

D

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

8.3.6 б),

*

0

0

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

12.21

2

2

2

ректны

8.5.4

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

12.22

2

2

2

Результаты тестов корректны

8.3.6 в),

*

0

0

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

12.23

2

2

2

и все расхождения объяснены

8.5.4

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

12.24

2

2

2

Тестовое покрытие требова-

8.4.4.1,

_*

0

0

0

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

12.23

2

2

2

2

ний верхнего уровня достигнуто

8.5.4

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

12.24

2

2

2

2