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

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

Читать онлайн Аннотация

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

УДК

004.415.5 Гарантии качества программного обеспечения

Предметные рубрики

• Программное обеспечение ЭВМ прикладное - Сертификация

Общее кол-во в фондах

2 экз.

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313