Тема 10. Методы разработки устойчивого кода (лекция 15) 137

10.1. Классификация проблем, возникающих при работе программных систем 137

10.1.1. Сбои 137

10.1.2. Отказы и аварии 139

10.2. Методы разработки устойчивого кода 140

10.2.1. Критические точки и допущения (assertions) 141

10.2.2. Обработка исключений 143

10.2.3. Сбор и обработка информации о сбоях и отказах 144

Тема 11. Поддержка процесса тестирования при промышленной разработке программного обеспечения (лекция 16) 144

11.1. Управление качеством 144

11.1.1. Задачи и цели управления качеством 144

11.1.2. Система менеджмента качества по ISO 9000 145

11.1.3. Аудит процессов разработки и верификации 147

11.1.4. Корректирующие действия и коррекция процессов 148

11.2. Конфигурационное управление 148

11.2.1. Задачи процесса конфигурационного управления 150

11.2.2. Процедуры процесса конфигурационного управления 151

11.2.2.1. Идентификация конфигураций 151

11.2.2.2. Базовые конфигурации и прослеживаемость 152

11.2.2.3. Управление изменениями 152

11.2.2.4. Вычисление статуса конфигурации 153

11.2.2.5. Архивирование, аудиты и обзоры конфигураций 153

11.2.2.6. Управление инструментальными средствами 154

11.2.3. Уровни управления данными 154

11.3. Управление качеством и конфигурационное управление при разработке сертифицируемого программного обеспечения. 155

Библиографический список 157

Цели курса

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

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

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

В состав курса входит ряд практических занятий, иллюстрирующих на примере простой системы приемы и методы верификации программного обеспечения в среде Microsoft Visual Studio 2005 Team Edition for Software Testers.

Для кого предназначен этот курс?

Настоящий курс ориентирован на студентов и специалистов – разработчиков программного обеспечения, изучающих вопросы технологии создания программных систем с повышенными требованиями к критичности. То есть таких систем, отказы которых могут привести к катастрофическим последствиям или значительным материальным потерям.

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

В курсе затронуты вопросы конфигурационного управления и управления качеством, которые могут быть интересны всем участникам программного проекта.