1.37. Задания для самопроверки 144

8. Сертификация программного обеспечения в авиации 145

1.38. История создания серии документов DO-178 и ED-12 145

1.39. Уровни программного обеспечения 146

1.40. Процессы жизненного цикла ПО авиационных систем 147

1.41. Цели процессных деятельностей 149

1.42. Рабочие документы и категории их контроля 150

1.43. Процесс планирования ПО 151

1.44. Процессы разработки ПО 153

1.44.1 Определение требований 153

1.44.2 Проектирование 154

1.44.3 Кодирование 155

1.44.4 Сборка 155

1.45. Верификация 156

1.46. Конфигурационное управление 157

1.46.1 Обеспечение качества 157

1.46.2 Контакт с органом сертификации 158

1.47. Выводы и рекомендации 158

1.48. Задания для самопроверки 159

9. Задания для самостоятельной работы 160

1.49. Темы, связанные с единым каркасом для разработки ПО 160

1.50. Темы, связанные применением формальных методов 163

10. Литература 165

11. Приложения 167

1.51. Шаблон для одностраничного экрана проекта 167

1.52. Примерная структура положения о работе и ТЗ 167

1.53. Примерная форма еженедельного отчета 169

1.54. Примерная форма презентации на ежемесячном операционном обзоре 171

12. Указатель 173

Перечень рисунков

Рис. 1. Атрибуты и ограничения программного проекта 17

Рис. 2. Кривая Боэма – рост затрат на поиск и устранение причин дефектов 19

Рис. 3. Измерение качества программного продукта 20

Рис. 4. Распределение вероятности присутствия дефектов на строках кода 21

Рис. 5. Пример формы для одностраничной сводки о подходе (решении) 22

Рис. 6. Обобщенная схема повторяемого процесса разработки 24

Рис. 7. Водопадная модель 27

Рис. 8. Модель быстрой разработки приложения 28

Рис. 9. V-образная модель 29

Рис. 10. Пошаговая модель 31

Рис. 11. Спиральная модель Боэма 32

Рис. 12. Прототипная модель 33

Рис. 13. Пример каркаса для процесса разработки ПО 37

Рис. 14. Типичный верхний уровень структуры разбиения работ 38

Рис. 15. Дорожная карта для планирования проекта 39

Рис. 16. Пример расчета трудоемкости по модели COCOMO II 42

Рис. 17. Пример потребности проекта в разработчиках в модели COCOMO II 43

Рис. 18. Экспоненциальная зависимость между сроком и трудоемкостью 44

Рис. 19. Укрупненная структура системы конфигурационного управления 55

Рис. 20. Мета-модель деятельностей 63

Рис. 21. Уровни и ключевые области процесса в модели CMM 64

Рис. 22. Характеристика уровней зрелости в модели CMM 69

Рис. 23. Спутанный клубок разных моделей зрелости 71

Рис. 24. История создания модели CMMI 72

Рис. 25. Мета-модель целей и практик в модели CMMI 73

Рис. 26. Группировка процессных областей в модели CMMI 74

Рис. 27. Восхождение по уровням зрелости 75

Рис. 28. Пример процессного профиля организации в модели CMMI 76

Рис. 29. Риск – функция его составляющих 89

Рис. 30. Модели и управления рисками в программном проекте 91

Рис. 31. Пример таксономии программных рисков 92

Рис. 32. Примерная форма для анализа рисков 96

Рис. 33. Пример фильтрации программных рисков 97

Рис. 34. Сочетание фильтрации и сравнительного ранжирования в анализе рисков 98

Рис. 35. Пример таблицы ответных стратегий на риск в программном проекте 100

Рис. 36. Пример матрицы воздействий ответных стратегий 101

Рис. 37. Структура семейства стандартов ISO 9000 110

Рис. 38. Модели ISO 9001 и 9004 на базе процессов 113

Рис. 39. Пример результата самооценивания на соответствие стандартам ISO 9000 116

Рис. 40. Задача о железнодорожном переезде 117

Рис. 41. Формализация установления соединения между телефонами m и n 120

Рис. 42. Простая телефонная система с дополнительными функциями 121

Рис. 43. Формализация отдельных шагов 3WayPhone и CallWaiting 122

Рис. 44. Пример незапланированного взаимодействия функциональностей 122

Рис. 45. Пример UCM-нотации для протокола CDMA 125

Рис. 46. Схема процесса инспекций по Фейгану 126

Рис. 47. Общая схема диаграммы Исикавы 130

Рис. 48. Исследование причин отсутствия инспекций диаграммой Исикавы 131

Рис. 49. Пример SWOT-анализа проблемы 132

Рис. 50. Примерный формат сбалансированного экрана производительности 132

Рис. 51. Пример дорожной карты для программного продукта на 1 год вперед 134

Рис. 52. Пример дорожной карты лаборатории НИИ на 5 лет 135

Рис. 53. Общая схема метода Дельфи 136

Рис. 54. Деревья решений для задач о ресторане (а) и тестировании (б) 137

Рис. 55. Размеченное дерево решений для задачи о тестировании 138

Рис. 56. Сравнительное ранжирование 5-ти рисков 4-мя экспертами 139

Рис. 57. Примеры рабочих документов в технологии SCRUM 142

Рис. 58. Пример экрана завершенности рабочего цикла 143

Рис. 59. Размещение рабочих мест в общей комнате 144

Рис. 60. Информационные потоки в ЖЦ бортовой системы и ЖЦ разработки ПО 147

Рис. 61. Процессы разработки в модели ISO 9001 149

Рис. 62. Обобщенная схема процессных деятельностей 150

Рис. 63. Пример одностраничного ежемесячного отчета о ходе проекта 171

Рис. 64. Пример регулярного метрического отчета о ходе проекта 172