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


Монографии Липаева В.В.

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

Серия «Управление качеством». М.: СИНТЕГ, 2003. - 520 с., ил.

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

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

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

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

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


Оглавление:

Введение.

Часть 1. ОСНОВНЫЕ ПОНЯТИЯ, ФАКТОРЫ И СТАНДАРТЫ, ОПРЕДЕЛЯЮЩИЕ КАЧЕСТВО ПРОГРАММНЫХ СРЕДСТВ.

Глава 1. Основы обеспечения качества крупномасштабных программных средств.
1.1. Проблемы обеспечения качества программных средств.
1.2. Принципы проектирования крупномасштабных программных средств.
1.3. Ресурсы для жизненного цикла сложных программных средств.
1.4. Основы современных технологий, обеспечивающих жизненный цикл сложных программных средств.

Глава 2. Характеристики качества крупномасштабных программных средств.
2.1. Основные факторы, определяющие качество сложных программных средств.
2.2. Свойства и атрибуты качества функциональных возможностей сложных программных средств.
2.3. Характеристики защиты программных средств.
2.4. Конструктивные характеристики качества сложных программных средств.
2.5. Характеристики качества баз данных.

Глава 3.
Ресурсы, необходимые для обеспечения качества крупномасштабных программных средств.
3.1. Ресурсы специалистов для обеспечения жизненного цикла и качества сложных программных средств.
3.2. Ресурсы на обеспечение функциональной при годности при разработке сложных программных средств.
3.3. Ресурсы на конструктивные характеристики качества сложных программных средств.
3.4. Ресурсы на имитацию внешней среды для обеспечения качества программных средств.

Глава 4. Стандартизация обеспечения качества программных средств.
4.1. Основы стандартизации жизненного цикла программных средств.
4.2. Базовые стандарты административного управления качеством продукции.
4.3. Стандартизация процессов жизненного цикла программных средств.
4.4. Стандарты, регламентирующие качество программных средств.

Часть 2. МЕТОДЫ И ПРОЦЕССЫ ОБЕСПЕЧЕНИЯ КАЧЕСТВА КРУПНОМАСШТАБНЫХ ПРОГРАММНЫХ СРЕДСТВ.

Глава 5. Методы разработки требований к крупномасштабным программным средствам.
5.1. Организация разработки требований к крупно масштабным программным средствам.
5.2. Процессы разработки требований к характеристикам качества сложных программных средств.
5.3. Анализ рисков в жизненном цикле сложных программных средств.

Глава 6. Методы проектирования крупномасштабных программных средств.
6.1. Планирование процессов жизненного цикла сложных программных средств.
6.2. Структурное проектирование сложных программных средств.
6.3. Планирование процессов управления качеством сложных программных средств.
6.4. Документирование сложных программных средств.

Глава 7. Методы верификации, тестирования и оценивани корректности программ.
7.1. Принципы верификации и тестирования программ.
7.2. Технологические этапы и стратегии систематического тестировани комплексов программ.
7.3. Тестирование структуры программных компонентов.
7.4. Оценивание структурной корректности программ.
7.5. Тестирование обработки потоков данных программными компонентами.

Глава 8. Методы квалификационного тестирования и испытания крупномасштабных комплексов программ.
8.1. Организация и методы оценивания качества сложных комплексов программ.
8.2. Средства для испытаний и определения качества сложных комплексов программ.
8.3. Оценивание надежности функционирования сложных программных средств.
8.4. Оценивание эффективности использования ресурсов ЭВМ программным средством.

Глава 9. Методы совершенствования и удостоверения качества крупномасштабных программных средств.
9.1. Процессы совершенствования качества программных средств.
9.2. Конфигурационное управление версиями сложных программных средств и компонентов.
9.3. Документирование сопровождения сложных программных средств.
9.4. Методы удостоверения качества сложных программных средств при сертификации.

Приложения.
П1. Перечень основных стандартов в области обеспечения качества программных средств.
П2. Пример сравнения требований к характеристикам качества трех типов программных средств.

Литература.

Об авторе.

Оглавление.

Информация.

Книги издательства СИНТЕГ.