ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию
Здесь есть возможность читать онлайн «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию» весь текст электронной книги совершенно бесплатно (целиком полную версию без сокращений). В некоторых случаях можно слушать аудио, скачать через торрент в формате fb2 и присутствует краткое содержание. Город: Москва, Год выпуска: 2002, Издательство: ИПК Издательство стандартов, Жанр: Технические науки, Программирование, на русском языке. Описание произведения, (предисловие) а так же отзывы посетителей доступны на портале библиотеки ЛибКат.
- Название:ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию
- Автор:
- Издательство:ИПК Издательство стандартов
- Жанр:
- Год:2002
- Город:Москва
- ISBN:нет данных
- Рейтинг книги:5 / 5. Голосов: 1
-
Избранное:Добавить в избранное
- Отзывы:
-
Ваша оценка:
ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию: краткое содержание, описание и аннотация
Предлагаем к чтению аннотацию, описание, краткое содержание или предисловие (зависит от того, что написал сам автор книги «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию»). Если вы не нашли необходимую информацию о книге — напишите в комментариях, мы постараемся отыскать её.
Стандарт подготовлен в развитие ГОСТ Р ИСО/МЭК 12207-99 «Информационная технология. Процессы жизненного цикла программных средств» с целью учета специфики разработки и документирования программного обеспечения встроенных систем реального времени
ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию — читать онлайн бесплатно полную книгу (весь текст) целиком
Ниже представлен текст книги, разбитый по страницам. Система сохранения места последней прочитанной страницы, позволяет с удобством читать онлайн бесплатно книгу «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию», без необходимости каждый раз заново искать на чём Вы остановились. Поставьте закладку, и сможете в любой момент перейти на страницу, на которой закончили чтение.
Интервал:
Закладка:
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
1 — документ должен удовлетворять целям категории контроля 1 (КК1);
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.3 — Верификация результатов процесса разработки требований к ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | Ссылка | А | В | С | D |
| Требования верхнего уровня к ПО согласуются с требованиями к системе | 8.3.1 а) | * | * | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 |
| Требования верхнего уровня точны и непротиворечивы | 8.3.1 б) | * | * | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 |
| Требования верхнего уровня совместимы с объектным компьютером | 8.3.1 в) | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | ||||
| Требования верхнего уровня верифицируемы | 8.3.1 г) | 0 | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | ||
| Требования верхнего уровня соответствуют стандартам на разработку требований к ПО | 8.3.1 д) | 0 | 0 | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 |
| Требования верхнего уровня трассируемы к системным требованиям | 8.3.1 е) | 0 | 0 | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 |
| Алгоритмы точны и корректны | 8.3.1 ж) | * | * | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 |
Обозначения:
* — цель должна быть удовлетворена с обеспечением независимости;
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).
Читать дальшеИнтервал:
Закладка:
Похожие книги на «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию»
Представляем Вашему вниманию похожие книги на «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию» списком для выбора. Мы отобрали схожую по названию и смыслу литературу в надежде предоставить читателям больше вариантов отыскать новые, интересные, ещё непрочитанные произведения.
Обсуждение, отзывы о книге «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию» и просто собственные мнения читателей. Оставьте ваши комментарии, напишите, что Вы думаете о произведении, его смысле или главных героях. Укажите что конкретно понравилось, а что нет, и почему Вы так считаете.