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

ЦельПрименимость к уровням ПОРезультат Категория контроля по уровням ПО
Описание Ссылка А В С D Описание Ссылка А В С D
Тестовые процедуры корректны8.3.6 б), 8.5.40 0 ПО Процедуры верификации ПО12.2122
Описание квалификационного тестирования ПО12.22222
Результаты тестов корректны и все расхождения объяснены8.3.6 б), 8.5.40 0 Результаты верификации ПО12.23222
Отчет о квалификационном тестировании ПО12.24222
Тестовое покрытие требований верхнего уровня достигнуто8.4.4.1, 8.5.40 0Результаты верификации ПО12.232222
Отчет о квалификационном тестировании ПО12.242222
Тестовое покрытие требований нижнего уровня достигнуто8.4.4.10 0 Результаты верификации ПО12.23222
Тестовое покрытие структуры ПО (модифицированное покрытие условий/решений) достигнуто 8.4.4.2 Результаты верификации ПО12.232
Тестовое покрытие структуры ПО (покрытие решений) достигнуто8.4.4.2 а), 8.4.4.2 б)* Результаты верификации ПО12.2322
Тестовое покрытие структуры ПО (покрытие операторов) достигнуто8.4.4.2 а), 8.4.4.2 б)*0 Результаты верификации ПО12.23222
Тестовое покрытие структуры ПО (связи по управлению и связи по данным) достигнуто8.4.4.2 в)0 Результаты верификации ПО12.23222

Обозначения:

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

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

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

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


Таблица А.8 — Процесс управления конфигурацией ПО

ЦельПрименимость к уровням ПОРезультат Категория контроля по уровням ПО
Описание Ссылка А В С D Описание Ссылка А В С D
Элементы конфигурации идентифицированы9.2.1 00 00Протоколы управления конфигурацией ПО12.29222
Установлены базовая линия и трассируемость9.2.3 00 00Указатель конфигурации ПО 12.261111
Протоколы управления конфигурацией ПО  12.29 2222
Установлены отчетность о дефектах, просмотры изменений, регистрация состояния конфигурацией9.2.4, 9.2.5 9.2.6, 9.2.7 0 0Cообщения о дефектах 12.282222
Протоколы управления конфигурацией ПО 12.292222
Установлены архивирование, получение из архива и выпуск версии9.2.8 00 00Протоколы управления конфигурацией ПО12.292222
Установлено управление загрузкой ПО9.2.90000Протоколы управления конфигурацией ПО12.292222
Установлен контроль среды жизненного цикла ПО9.2.100000Указатель конфигурации среды жизненного цикла ПО 12.25 1112
Протоколы управления конфигурацией ПО 12.292222

Обозначения:

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

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

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


Таблица А.9 — Процесс обеспечения качества ПО

Перейти на страницу:

Похожие книги

Язык программирования C++. Пятое издание
Язык программирования C++. Пятое издание

Лучшее руководство по программированию и справочник по языку, полностью пересмотренное и обновленное под стандарт С++11!Р'С‹ держите в руках новое издание популярного и исчерпывающего бестселлера по языку программирования С++, которое было полностью пересмотрено и обновлено под стандарт С++11. Оно поможет вам быстро изучить язык и использовать его весьма эффективными и передовыми способами. Р' соответствии с самыми передовыми и современными методиками изложения материала авторы демонстрируют использование базового языка и его стандартной библиотеки для разработки эффективного, читабельного и мощного кода.С самого начала этой книги читатель знакомится со стандартной библиотекой С++, ее самыми популярными функциями и средствами, что позволяет сразу же приступить к написанию полезных программ, еще не овладев всеми нюансами языка. Большинство примеров из книги было пересмотрено так, чтобы использовать новые средства языка и продемонстрировать РёС… наилучшие СЃРїРѕСЃРѕР±С‹ применения. Эта книга — не только проверенное руководство для новичков в С++, она содержит также авторитетное обсуждение базовых концепций и методик языка С++ и является ценным ресурсом для опытных программистов, особенно желающих побыстрей узнать об усовершенствованиях С++11.Стенли Р'. Липпман работал старшим консультантом в Jet Propulsion Laboratory, архитектором РіСЂСѓРїРїС‹ Visual С++ корпорации Microsoft, техническим сотрудником Bell Laboratories и главным инженером- программистом по анимации в кинокомпаниях Disney, DreamWorks, Pixar и PDI.Р–РѕР·и Лажойе, работающий ныне в кинокомпании Pixar, был членом канадской РіСЂСѓРїРїС‹ разработчиков компилятора C/C++ корпорации IBM, а также возглавлял рабочую группу базового языка С++ в составе международной организации по стандартизации ANSI/ISO.Барбара Э. Му имеет почти тридцатилетний опыт программирования. На протяжении пятнадцати лет она работала в компании AT&T, сотрудничая с Бьярне Страуструпом, автором языка С++, и несколько лет руководила РіСЂСѓРїРїРѕР№ разработчиков С++.• Узнайте, как использовать новые средства языка С++11 и стандартной библиотеки для быстрого создания надежных программ, а также ознакомьтесь с высокоуровневым программированием• Учитесь на примерах, в которых показаны передовые стили программирования и методики проектирования• Р

Барбара Э. Му , Жози Лажойе , Стенли Б. Липпман

Программирование, программы, базы данных
Access 2002: Самоучитель
Access 2002: Самоучитель

В книге рассматривается широкий круг вопросов, связанных с использованием программной среды Access 2002, которая является составной частью пакета Office 2002 и предназначена для создания банка данных в самых различных предметных областях.Подробно описывается методика проектирования объектов базы данных (таблицы, формы, отчеты, страницы доступа к данным, запросы, модули).Детально обсуждаются вопросы создания интегрированной базы данных в единой среде Access 2002: формирование БД с нуля, конвертирование в программную среду баз данных, созданных в ином программном окружении – Clarion, FoxPro.Особое внимание уделяется формированию разнообразных запросов к интегрированной базе данных Access 2002 с использованием языков программирования SQL, VBA и макросов.Приводятся общие сведения о возможностях языка обмена данными между различными компьютерами и приложениями (XML). Описываются возможности использования гиперссылок, связывающих базу данных с другими программными продуктами. Объясняется, как можно работать с базой данных Access 2002 без установки ее на компьютер, используя технологию ODBC (Open Data Base Connectivity). В приложениях приводятся количественные параметры Access 2002 и связанная с этой СУБД терминология.Предлагаемая книга будет полезна специалистам, занимающимся практической разработкой банков данных и приложений на их основе, а также студентам вузов, изучающим информатику.

Павел Юрьевич Дубнов

Программирование, программы, базы данных / ОС и Сети / Книги по IT