Надежность программных средств
| Липаев В.В. Надежность программных средств. Серия "Информатизация России на пороге 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 |
