Проектирование

Цель

Уровень ПО

Вых. док-т

Категория

Описание

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

A

В

С

D

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

A

В

С

D

Низкоуровн.тр-я соотв-ют высокоуров.

6.3.2a

●

●

○

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

11.14

2

2

2

Низкоуровн.тр-я точны и непротивореч.

6.3.2b

●

●

○

2

2

2

Низкоуров.тр-я совм-мы с цел.компьют.

6.3.2c

○

○

2

2

Низкоуровн.тр-я верифицируемы

6.3.2d

○

○

2

2

Низкоуровн.тр-я отвечают стандартам

6.3.2e

○

○

○

2

2

2

Низкоуровн.тр-я отслеж. к высокоуров.

6.3.2f

○

○

○

2

2

2

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

6.3.2g

●

●

○

2

2

2

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

б.З.За

●

○

○

2

2

2

Прогр.архитектура непротиворечива

6.3.2b

●

○

○

2

2

2

Прогр.арх-ра совместима с цел.комп.

6.3.3с

○

○

2

2

Прогр.арх-ра верифицируема

6.3.3d

○

○

2

2

Прогр.арх-ра отвечает стандартам

б.З.Зе

○

○

○

2

2

2

Целостн.разбиения ПО подтверждена

6.3.3f

●

○

○

○

2

2

2

2

Итого:

13

13

9

1

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

6

3