Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана
Калужский филиал

Подробное описание документа

Липаев В. В.
   Сертификация программных средств : учебник / Липаев В. В. ; Институт системного программирования РАН. - М. : СИНТЕГ, 2010. - 337 с. - Библиогр.: с. 335-336. - ISBN 978-5-89638-114-3.

library.bmstu.ru/Catalog/Details/216568

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