Липаев В.В. Тестирование крупных комплексов программ на соответствие требованиям.


Учебники Липаева В.В.

Сертификация программных средств.

Учебник. - М.: СИНТЕГ, 2009. - 348с.

Сертификация программных средств.
(pdf, doc/zip)

В учебнике изложены принципы, методы и средства обеспечения качества в жизненном цикле сложных программных средств (ПС), контроль и подтверждение их соответствие исходным требованиям заказчиков с учетом действующей законодательной базы сертификации и требований национальных и международных стандартов. Качество ответственных программных продуктов должно быть удостоверено и гарантировано компетентными, независимыми организациями путем широких, регламентированных испытаний – сертификации.

Учебник состоит из трех частей: методические основы обеспечения ка-чества и сертификации сложных программных средств (лекции 1-2); сертификация процессов производства программных средств (лекции 3-6) и сертификация готовых программных продуктов (лекции 7-11). Представлены концепция, структура и основные требования национальных и международных стандартов в сфере создания программных средств высокого качества. Изложены принципы функционирования систем менеджмента качества на базе международных стандартов серии ИСО 9000; основы стандартизации, сертификации, обеспечения качества и безопасности программных продук-тов. Высокое качество программных средств при проектировании и производстве рекомендуется достигать и удостоверять двумя методами: во-первых, посредством применения регламентированных высококачественных технологий и систем обеспечения качества ПС, предотвращающих ошибки и дефекты, гарантирующих качество продуктов во время их производства; во вторых, методом использования заключительного контроля и испытаний готовых продуктов и исключения из поставки экземпляров, не соответствующих требуемым показателям качества. Соответственно выделены и подробно изложены два вида сертификационных испытаний: технологий обеспечения жизненного цикла программных средств, поддержанных регламентированными системами качества производства, а также испытаниями готового программного продукта с полным комплектом эксплуатационной документации.

Учебник ориентирован на студентов старших курсов и аспирантов по Программной инженерии, а также на заказчиков, менеджеров, аналитиков и ведущих специалистов, обеспечивающих все этапы жизненного цикла сложных ПС, к которым предъявляются высокие требования к качеству и безопасности функционирования, ограничены доступные ресурсы и сроки разработки.


Оглавление:

Введение.
Часть 1. МЕТОДИЧЕСКИЕ ОСНОВЫ ОБЕСПЕЧЕНИЯ КАЧЕСТВА И СЕРТИФИКАЦИИ СЛОЖНЫХ ПРОГРАММНЫХ СРЕДСТВ.

Лекция 1. Цели и основные принципы сертификации качества производственных предприятий и программных продуктов. Основные понятия, цели и виды сертификации программных средств. Стандартизация и сертификация как основа для обеспечения качества и безопасности программных продуктов. Принципы промышленной сертификации процессов производства и продуктов.

Лекция 2. Системные требования, типы и источники дефектов и ошибок в комплексах программ. Формирование назначения, функций и технического задания на проект системы. Системные основы разработки требований к программным продуктам. Типы и источники дефектов и ошибок в комплексах программ.

Часть 2. СЕРТИФИКАЦИЯ ПРОЦЕССОВ ПРОИЗВОДСТВА ЖИЗНЕННОГО ЦИКЛА ПРОГРАММНЫХ СРЕДСТВ.

Лекция 3. Базовые стандарты сертификации управления производством программных продуктов. Принципы организации производством программных продуктов. Процессы управления проектами программных средств на основе СMMI. Менеджмент – административное управление обеспечением качества систем на основе стандартов ISO 9000:2000.

Лекция 4.
Стандарты жизненного цикла программных средств для сертификации систем качества предприятий. Подготовка стандартов жизненного цикла программных средств для производства. Базовые стандарты жизненного цикла программных средств. Руководства по применению базовых стандартов жизненного цикла программных средств. Стандарты сопровождения и управления конфигурацией программных средств.

Лекция 5.
Подготовка производства программных средств и системы качества предприятия к сертификации. Подготовка технологии производства программных продуктов и системы качества предприятия к сертификации. Адаптация базовых стандартов управления производством ISO 12207 и системой каче-ства ISO 90003 программных средств для сертификации. Формирование Руководства по планированию качества программных средств для сертификации на основе стандарта ISO 10005. Формирование Руководства по документированию для сертификации системы менеджмента качества программных средств на основе стандарта ISO 10013.

Лекция 6.
Сертификация процессов производства программных продуктов и систем качества предприятий. Требования к квалификации аудиторов по сертификации производства и системам качества программных продуктов. Подготовка и документирование организации процессов сертификации производства и системы качества предприятия. Организация сертификационных испытаний производства и систем качества программных средств.

Часть 3. СЕРТИФИКАЦИЯ ПРОГРАММНЫХ ПРОДУКТОВ.

Лекция 7. Формирование требований к характеристикам и качеству программных продуктов.
Общие требования к качеству функционирования программных продуктов. Особенности требований заинтересованных лиц к программному продукту. Требования к надежности функциониро-вания программных продуктов. Требования к функциональной безопасности программных продуктов. Требования к производительности и эффективности использования ресурсов ЭВМ программным продуктом в реальном времени. Требования к допустимым рискам динамического применения программных продуктов.

Лекция 8. Организация сертификационных испытаний программных продуктов на соответствие требованиям. Цели, задачи и процессы сертификационных испытаний программных продуктов. Соответствие пространств требований и тестов к функциям и характеристикам комплексов программ. Стратегии и планирование испытаний программных продуктов. Оценки затрат на испытания программных продуктов.

Лекция 9. Подготовка сертификационных испытаний программных продуктов. Требования к квалификации испытателей сложных программных продуктов. Методы подготовки тестов для испытаний программных продуктов. Выбор тестов для испытаний программных мо дулей и компонентов. Требования к генерации динамических тестов внешней среды в реальном времени. Компоненты генераторов динамических тестов внешней среды в реальном времени. Средства обработки результатов динамических испытаний программных продуктов в реальном времени. Оценка эффективности динамической генерации тестов в реальном времени.

Лекция 10.
Сертификационные испытания программного продукта на соответствие требованиям. Порядок сертификационных испытаний сложного программного
продукта. Программа и методики испытаний комплекса программ на соответствие требованиям. Испытания надежности функционирования программного продукта. Испытания функциональной безопасности программного продукта. Испытания производительности и динамического использования ресурсов ЭВМ программным продуктом.

Лекция 11.
Удостоверение качества и завершение сертификационных испытаний программных продуктов. Испытания для сокращения и ликвидация опасных рисков при
применении программных продуктов. Испытания эксплуатациионной документации на соответствие требованиям к программному продукту. Завершение сертификационных испытаний программных продуктов. Поставка пользователями сертифицированной версии программ продукта для применения. Анализ результатов сертификации и усовершенствование процессов испытаний программного продукта.

Приложение.
Международные и государственные стандарты, регламентирующие требования, жизненный цикл, испытания и сертификацию комплексов программ.

Литература.