ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию
Здесь есть возможность читать онлайн «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию» весь текст электронной книги совершенно бесплатно (целиком полную версию). В некоторых случаях присутствует краткое содержание. Город: Москва, год выпуска: 2002, категория: Технические науки / Программирование / на русском языке. Описание произведения, (предисловие) а так же отзывы посетителей доступны на портале. Библиотека «Либ Кат» — LibCat.ru создана для любителей полистать хорошую книжку и предлагает широкий выбор жанров:
любовные романы
фантастика и фэнтези
приключения
детективы и триллеры
эротика
документальные
научные
юмористические
анекдоты
о бизнесе
проза
детские
сказки
о религиии
новинки
православные
старинные
про компьютеры
программирование
на английском
домоводство
поэзия
Выбрав категорию по душе Вы сможете найти действительно стоящие книги и насладиться погружением в мир воображения, прочувствовать переживания героев или узнать для себя что-то новое, совершить внутреннее открытие. Подробная информация для ознакомления по текущему запросу представлена ниже:
- Название:ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию
- Автор:
- Издательство:ИПК Издательство стандартов
- Жанр:
- Год:2002
- Город:Москва
- Язык:Русский
- Рейтинг книги:5 / 5
- Избранное:Добавить книгу в избранное
- Ваша оценка:
ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию: краткое содержание, описание и аннотация
Предлагаем к чтению аннотацию, описание, краткое содержание или предисловие (зависит от того, что написал сам автор книги «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию»). Если вы не нашли необходимую информацию о книге — напишите в комментариях, мы постараемся отыскать её.
Неизвестный Автор: другие книги автора
Кто написал ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию? Узнайте фамилию, как зовут автора книги и список всех его произведений по сериям.
![Сборник инцестов [СИ]](/uploads/posts/books/75429/neizvestnyj-avtor-sbornik-incestov-91-si-cover.jpg)
Уважаемые правообладатели!
Возможность размещать книги на на нашем сайте есть у любого зарегистрированного пользователя. Если Ваша книга была опубликована без Вашего на то согласия, пожалуйста, направьте Вашу жалобу на info@libcat.ru или заполните форму обратной связи.
В течение 24 часов мы закроем доступ к нелегально размещенному контенту.
ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию — читать онлайн бесплатно полную книгу (весь текст) целиком
Ниже представлен текст книги, разбитый по страницам. Система сохранения места последней прочитанной страницы, позволяет с удобством читать онлайн бесплатно книгу «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию», без необходимости каждый раз заново искать на чём Вы остановились. Поставьте закладку, и сможете в любой момент перейти на страницу, на которой закончили чтение.
Шрифт:
Интервал:
Закладка:
Таблица А.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 |
Обозначения:
* — цель должна быть удовлетворена с обеспечением независимости;
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
1 — документ должен удовлетворять целям категории контроля 1 (КК1);
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.7 — Верификация результатов процесса верификации ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | Ссылка | А | В | С | D |
| Тестовые процедуры корректны | 8.3.6 б), 8.5.4 | * | 0 | 0 | ПО Процедуры верификации ПО | 12.21 | 2 | 2 | 2 | ||
| Описание квалификационного тестирования ПО | 12.22 | 2 | 2 | 2 | |||||||
| Результаты тестов корректны и все расхождения объяснены | 8.3.6 б), 8.5.4 | * | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | ||
| Отчет о квалификационном тестировании ПО | 12.24 | 2 | 2 | 2 | |||||||
| Тестовое покрытие требований верхнего уровня достигнуто | 8.4.4.1, 8.5.4 | * | 0 | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 |
| Отчет о квалификационном тестировании ПО | 12.24 | 2 | 2 | 2 | 2 | ||||||
| Тестовое покрытие требований нижнего уровня достигнуто | 8.4.4.1 | * | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | ||
| Тестовое покрытие структуры ПО (модифицированное покрытие условий/решений) достигнуто | 8.4.4.2 | * | Результаты верификации ПО | 12.23 | 2 | ||||||
| Тестовое покрытие структуры ПО (покрытие решений) достигнуто | 8.4.4.2 а), 8.4.4.2 б) | * | * | Результаты верификации ПО | 12.23 | 2 | 2 | ||||
| Тестовое покрытие структуры ПО (покрытие операторов) достигнуто | 8.4.4.2 а), 8.4.4.2 б) | * | * | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | ||
| Тестовое покрытие структуры ПО (связи по управлению и связи по данным) достигнуто | 8.4.4.2 в) | * | * | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 |
Обозначения:
Шрифт:
Интервал:
Закладка:
Похожие книги на «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию»
Представляем Вашему вниманию похожие книги на «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию» списком для выбора. Мы отобрали схожую по названию и смыслу литературу в надежде предоставить читателям больше вариантов отыскать новые, интересные, ещё не прочитанные произведения.
Обсуждение, отзывы о книге «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию» и просто собственные мнения читателей. Оставьте ваши комментарии, напишите, что Вы думаете о произведении, его смысле или главных героях. Укажите что конкретно понравилось, а что нет, и почему Вы так считаете.