Подробное описание документа
Липаев В. В.
Методы обеспечения качества крупномасштабных программных средств / Липаев В. В. ; РАН. Ин-т системного программирования. - М. : СИНТЕГ, 2003. - 510 с. - (Управление качеством). - Библиогр.:
Монография состоит из двух частей. В первой части рассмотрены основные понятия, факторы и методы представления качества в жизненном цикле (ЖЦ) крупномасштабных программных средств (ПС). Описаны основы базовых стандартов административного управления качеством продукции, процессов жизненного цикла и характеристик качества ПС. Выделены основные факторы, определяющие свойства и атрибуты качества функциональных возможностей, защиты, конструктивных характеристик и качества баз данных. Исследована зависимость качества программ от ряда внешних и внутренних факторов, а также от ограниченности ресурсов при создании и применении ПС по прямому назначению. Представлены методы оценки затрат ресурсов на обеспечение функциональной пригодности, на конструктивные характеристики качества для обеспечения ЖЦ ПС.
Во второй части значительное внимание уделено разработке требований к ха- рактеристикам качества ПС, а также методам проектирования комплексов программ высокого качества. Изложены принципы и методы верификации, технологические этапы и стратегии тестирования ПС. Рассмотрены методы стандартизированного оценивания характеристик качества, которые рекомендуется использовать при подготовке методик испытаний. Представлены методы квалификационного тестирования и испытаний крупномасштабных ПС, оценивания надежности использования ресурсов ЭВМ. Изложены методы совершенствования качества при сопровождении программ и конфигурационном управлении версиями ПС, а также удостоверения достигнутого качества при сертификации программных продуктов.
Монография предназначена для специалистов, обеспечивающих все этапы жизненного цикла крупномасштабных программных средств, создающих и применяющих системы и характеристики качества в этой области. Она может быть полезна исполнителям научных проектов и опытно-конструкторских работ для обеспечения высокого качества сложных программных средств. Ее рекомендуется использовать при обучении студентов и аспирантов созданию сложных комплексов программ.
Книга издана при финансовой поддержке Российского фонда фундаментальных исследований (проект # 03-07-95000).
004.9 Прикладные информационные (компьютерные) технологии. Методы, основанные на применении компьютеров3 экз.
- Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.305л, УЛК, ауд. 305л
- Читальный зал ауд.313, ГУК, ауд. 313