ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию

Тут можно читать онлайн ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию - бесплатно полную версию книги (целиком) без сокращений. Жанр: sci_tech, издательство ИПК Издательство стандартов, год 2002. Здесь Вы можете читать полную версию (весь текст) онлайн без регистрации и SMS на сайте лучшей интернет библиотеки ЛибКинг или прочесть краткое содержание (суть), предисловие и аннотацию. Так же сможете купить и скачать торрент в электронном формате fb2, найти и слушать аудиокнигу на русском языке или узнать сколько частей в серии и всего страниц в публикации. Читателям доступно смотреть обложку, картинки, описание и отзывы (комментарии) о произведении.

Читать книгу

Название:

ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию
Автор:

Неизвестный Автор
Жанр:

sci_tech
Издательство:

ИПК Издательство стандартов
Год:

2002
Город:

Москва
ISBN:

нет данных
Рейтинг:

3/5. Голосов: 11
Избранное:

Добавить в избранное
Отзывы:

Читать комментарии
Ваша оценка:
60

1

2

3

4

5

ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию краткое содержание

ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию - описание и краткое содержание, автор Неизвестный Автор, читайте бесплатно онлайн на сайте электронной библиотеки LibKing.Ru

Embedded system software. General requirements for development and documentation
Стандарт подготовлен в развитие ГОСТ Р ИСО/МЭК 12207-99 «Информационная технология. Процессы жизненного цикла программных средств» с целью учета специфики разработки и документирования программного обеспечения встроенных систем реального времени

ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию - читать онлайн бесплатно полную версию (весь текст целиком)

ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию - читать книгу онлайн бесплатно, автор Неизвестный Автор

Тёмная тема

Шрифт:

↓

↑

Сбросить

Интервал:

↓

↑

Закладка:

Сделать

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

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

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

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

Таблица А.4 — Верификация результатов процесса проектирования ПО

Цель	Применимость к уровням ПО	Результат	Категория контроля по уровням ПО
Описание	Ссылка	А	В	С	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).

Таблица А.5 — Верификация результатов процесса кодирования и интеграции ПО

Цель	Применимость к уровням ПО	Результат	Категория контроля по уровням ПО
Описание	Ссылка	А	В	С	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 г)	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).

Таблица А.6 — Тестирование результатов процесса интеграции ПО

Цель	Применимость к уровням ПО	Результат	Категория контроля по уровням ПО
Описание	Ссылка	А	В	С	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
Исполняемый код совместим с объектным компьютером 12.24	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