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

ВВЕДЕНИЕ......3 Часть 1. Методические основы обеспечения качества в сертификации сложных программных средств......19 Лекция 1. Цели и основные принципы сертификации качества производственных предприятий и программных продуктов......19 Основные понятия
цели и виды сертификации программных средств......19 Стандартизация и сертификация как основа для обеспечения качества и безопасности программных продуктов......26 Принципы промышленной сертификации и стандартизации процессов производства и продуктов......36 Лекция 2. Системные требования
типы и источники дефектов и ошибок в комплексах программ......45 Формирование назначения
функций и технического задания на проект системы......45 Системные основы разработки требований к программным продуктам......54 Типы и источники дефектов и ошибок в комплексах программ......62 Часть 2. Сертификация процессов производства программных средств......79 Лекция 3. Базовые стандарты сертификации управления производством программных продуктов......79 Принципы организации производства программных продуктов......79 Процессы управления проектами программных средств на основе модели – СMMI......93 Менеджмент – административное управление обеспечением качества систем на основе стандартов ISO 9000:2000......104 Лекция 4. Стандарты жизненного цикла программных средств для сертификации систем качества предприятий......122 Подготовка стандартов жизненного цикла программных средств для производства......122 Базовые стандарты жизненного цикла программных средств......129 Руководства по применению базовых стандартов жизненного цикла программных средств......140 Стандарты сопровождения и управления конфигурацией программных средств......144 Лекция 5. Подготовка производства программных средств и системы качества предприятия к сертификации......159 Подготовка технологии производства программных продуктов и системы качества предприятия к сертификации......159 Адаптация для сертификации базовых стандартов управления производством ISO 12207 и системой качества ISO 90003 программных средств......168 Формирование Руководства по планированию качества программных средств для сертификации на основе стандарта ISO 10005......172 Формирование Руководства по документированию для сертификации системы менеджмента качества программных средств на основе стандарта ISO 10013......180 Лекция 6. Сертификация процессов производства программных продуктов и систем качества предприятий......189 Требования к квалификации аудиторов по сертификации производства и системам качества программных продуктов......189 Подготовка и документирование организации процессов сертификации производства и системы качества предприятия......196 Организация сертификационных испытаний производства и систем качества программных средств......206 Часть 3. Сертификация программных продуктов......224 Лекция 7. Формирование требований к характеристикам и качеству программных продуктов......224 Общие требования к качеству функционирования программных продуктов......224 Особенности требований заинтересованных лиц к программному продукту......242 Требования к надежности функционирования программных продуктов......246 Требования к функциональной безопасности программных продуктов......252 Требования к производительности и эффективности динамического использования ресурсов ЭВМ программным продуктом в реальном времени......261 Требования к допустимым рискам динамического применения программных продуктов......265 Лекция 8. Организация сертификационных испытаний программных продуктов на соответствие требованиям......273 Цели
задачи и процессы сертификационных испытаний программных продуктов......273 Соответствие пространств требований и тестов к функциям и характеристикам комплексов программ......287 Стратегии и планирование испытаний программных продуктов......294 Оценки затрат на испытания программных продуктов......307 Лекция 9. Подготовка сертификационных испытаний программных продуктов......316 Требования к квалификации испытателей сложных программных продуктов......316 Методы подготовки тестов для испытаний программных продуктов......326 Стратегии выбора тестов для испытаний программных модулей и компонентов......331 Требования к генерации динамических тестов внешней среды в реальном времени......342 Компоненты генераторов динамических тестов внешней среды в реальном времени......347 Средства обработки результатов динамических испытаний программных продуктов в реальном времени......352 Оценка эффективности динамической генерации тестов в реальном времени......355 Лекция 10. Сертификационные испытания программного продукта на соответствие требованиям......359 Порядок сертификационных испытаний сложного программного продукта......359 Программа и методики испытаний комплексов программ на соответствие требованиям......367 Испытания надежности функционирования программного продукта......373 Испытания функциональной безопасности программного продукта......384 Испытания производительности и динамического использования ресурсов ЭВМ программным продуктом......390 Лекция 11. Удостоверение качества и завершение сертификационных испытаний программных продуктов......398 Испытания для сокращения и ликвидация опасных рисков при применении программных продуктов......398 Испытания эксплуатационной документации на соответствие требованиям к программному продукту......408 Завершение сертификационных испытаний программных продуктов......419 Поставка пользователям сертифицированной версии программ продукта для применения......428 Анализ результатов сертификации и усовершенствование процессов испытаний программного продукта......430 Приложение Международные и государственные стандарты
регламентирующие требования
жизненный цикл
испытания и сертификацию комплексов программ......435 Литература......440 Основная литература......440 Дополнительная литература......440