Кодирование

Исх.код отвечает низкоуровн.треб-ям

6.3.4a

●

●

○

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

11.14

2

2

2

Исх.код отвечает программ.арх-ре

6.3.4b

●

○

○

2

2

2

Исх.код верифицируем

6.3.4с

○

○

2

2

Исх.код отвечает стандартам

6.3.4d

○

○

○

2

2

2

Исх.код отслеж. к низкоуров.треб-ям

6.3.4e

○

○

○

2

2

2

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

6.3.4f

●

○

○

2

2

2

Выход сборки полон и корректен

6.3.5a

○

○

○

2

2

2

Файл парам.данных корректен и полн

6.6a

●

●

○

○

ВТП

11.13

1

1

2

2

РВ

11.14

2

2

2

2

Достигн.верификация парам.данных

6.6b

●

●

○

2

2

2

Итого:

9

9

8

1

Проверяемых независимо:

5

3

Цель

Уровень ПО

Выходной документ

Категория

Описание

Раздел док-та

A

В

С

D

Описание

Раздел док-та

A

В

С

D

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

6.4a

○

○

○

○

Тесты и проц-ры

11.13

1

1

2

2

Рез-ты вериф.

11.14

2

2

2

2

Данн.отслежив.

11.21

1

1

2

2

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

6.4b

○

○

○

○

Пр-ры и проц-ры

11.13

1

1

2

2

Рез-ты вериф.

11.14

2

2

2

2

Данн.отслежив.

11.21

1

1

2

2

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

6.4c

●

●

○

○

Пр-ры и проц-ры

11.13

1

1

2

Рез-ты вериф.

11.14

1

1

2

Данн.отслежив.

11.21

1

1

2

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

6.4d

●

○

○

○

Пр-ры и проц-ры

11.13

1

1

2

Рез-ты вериф.

11.14

2

2

2

Данн.отслежив.

11.21

1

1

2

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

6.4e

○

○

○

○

Пр-ры и проц-ры

11.13

1

1

2

2

Рез-ты вериф.

11.14

2

2

2

2

Итого:

5

5

5

3

Проверяемых независимо:

2

1