укррусen
Разделы сайта
ПТК СА

В настоящем разделе представлена литература на языке оригинала, которая используется в учебном процессе ОНПУ.

Надежность программных средств

 

Липаев В.В.

Надежность программных средств. Серия "Информатизация России на пороге XXI века". - М: СИНТЕГ, 1998, - 232 с.

 

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

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

ISBN 5.89638-0Ю8-9

 

Методы обеспечения качества крупномасштабных программных средств

 

 

УДК 681.324.067 ББК 32.988 Л61

Липаев В.В.

Методы обеспечения качества крупномасштабных программных средств. - М.: СИНТЕГ, 2003. - 520 с, ил. (Серия "Управление качеством").

 

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

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

Монография предназначена для специалистов, обеспечивающих все этапы жизненного цикла крупномасштабных программных средств, создающих и применяющих системы и характеристики качества в этой области. Она может быть полезна исполнителям научных проектов и опытно-конструкторских работ для обеспечения высокого качества сложных программных средств. Ее рекомендуется использовать при обучении студентов и аспирантов созданию сложных комплексов программ.

Книга издана при финансовой поддержке Российского фонда фундаментальных исследований (проект № 03-07-95000).

ISBN 5-89638-068-2