Результат:
программная архитектура и низкоуровневые требования разработаны исходя из высокоуровневых требований;
производные низкоуровневые требования переданы процессу определения безопасности системы.
Разрабатывается исходный код ПО в соответствии с принятыми стандартами для таких документов.
Табл. 30. Цели процессов кодирования
Цель |
Уровень ПО |
Вых. док-т |
Категория |
||||||||
Описание |
Раздел док-та |
A |
В |
С |
D |
|
Раздел док-та |
A |
В |
С |
D |
Исх.код отвечает низкоуровн.треб-ям |
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 |
|
|
|
|
|
|
|
|
|
Результат:
разработан отслеживаемый, верифицируемый и непротиворечивый исходный код, корректно реализующий низкоуровневые требования.
Сборка
Исходный код преобразуется в исполняемый объектный код, загружаемый в целевой компьютер для исполнения.
Табл. 31. Цели процессов тестирования и сборки
Цель |
Уровень ПО |
Выходной документ |
Категория |
||||||||
Описание |
Раздел док-та |
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 |
|
|
|
|
|
|
|
|
|
Результат:
исполняемый объектный код загружается в целевую аппаратуру для интеграции с аппаратно-программным обеспечением.
Табл. 32. Цели процессов верификации
Цель |
Уровень ПО |
Выходной документ |
Категория |
||||||||
Описание |
Раздел док-та |
A |
В |
С |
D |
Описание |
Раздел док-та |
A |
В |
С |
D |
Тестовые проц-ры корретны |
6.4.5b |
● |
○ |
○ |
○ |
Рез-ты вериф. |
11.14 |
2 |
2 |
2 |
|
Рез-ты тестир-я корректны, расхождения объяснены |
6.4.5с |
● |
○ |
○ |
○ |
Рез-ты вериф. |
11.14 |
2 |
2 |
2 |
|
Тестовое покрытие высоко-уровен.треб-ний достигнуто |
6.4.4a |
● |
○ |
○ |
○ |
Рез-ты вериф. |
11.14 |
2 |
2 |
2 |
2 |
Тестовое покрытие низко-уровен.треб-ний достигнуто |
6.4.4b |
● |
○ |
○ |
○ |
Рез-ты вериф. |
11.14 |
2 |
2 |
2 |
|
Тест.покрытие структуры (усл./реш.) ПО достигнуто |
6.4.4c |
● |
○ |
○ |
○ |
Рез-ты вериф. |
11.14 |
2 |
|
|
|
Тест.покрытие структуры (решения) ПО достигнуто |
6.4.4c |
● |
● |
○ |
○ |
Рез-ты вериф. |
11.14 |
2 |
2 |
|
|
Тест.покрытие структуры (операторы) ПО достигнуто |
6.4.4c |
● |
● |
○ |
○ |
Рез-ты вериф. |
11.14 |
2 |
2 |
2 |
|
Тест.покрытие структуры (данн.+упр.) ПО достигнуто |
6.4.4d |
● |
● |
○ |
○ |
Рез-ты вериф. |
11.14 |
2 |
2 |
2 |
|
Вериф.доп.кода, не отслеж. к требованиям, достигнута |
6.4.4c |
● |
○ |
○ |
○ |
Рез-ты вериф. |
11.14 |
2 |
|
|
|
Итого: |
9 |
7 |
6 |
1 |
|
|
|
|
|
|
|
Проверяемых независимо: |
9 |
3 |
|
|
|
|
|
|
|
|
|