- •Содержание
- •1.13. Задания для самопроверки 59
- •1.17. Задания для самопроверки 88
- •1.19. Задания для самопроверки 108
- •1.23. Задания для самопроверки 116
- •1.27. Задания для самопроверки 125
- •1.37. Задания для самопроверки 144
- •1.48. Задания для самопроверки 159
- •Перечень рисунков
- •Перечень таблиц
- •Введение
- •Принятые сокращения
- •1.Жизненный цикл разработки по
- •Программные проект и его атрибуты
- •Ролевые модели в программном проекте
- •Размер и сложность программного проекта
- •Характеристики программного проекта
- •Качество программного продукта
- •Экран проекта и сводка о подходе
- •Критерий smart для формулирования целей
- •Критерии успешности программного проекта
- •Модели жизненного цикла
- •Водопадная модель
- •Модель быстрой разработки приложения
- •Пошаговая модель
- •Спиральная модель Боэма
- •Прототипная модель
- •Выбор модели жизненного цикла
- •Задания для самопроверки
- •2.Типовой каркас для разработки по
- •Программная разработка
- •Планирование проекта
- •Модель cocomo для оценки трудозатрат в проекте
- •Модель slim для оценки трудозатрат в проекте
- •Разработка спецификации требований
- •Отслеживание и контроль
- •Верификация и валидация
- •Обеспечение качества
- •Конфигурационное управление
- •Метрики
- •Повышение квалификации
- •Задания для самопроверки
- •3. Модели зрелости способностей cmm/cmmi
- •Ключевые области процесса в модели cmm
- •Характеристика уровней зрелости в модели cmm
- •Интегрированная модель зрелости способностей cmmi
- •История возникновения
- •Уровни зрелости и области процесса
- •Уровни способностей процесса в модели cmmi
- •Специальные и общие цели и практики процессных областей
- •Характеристики уровней зрелости в модели cmmi
- •Задания для самопроверки
- •4.Управление рисками в программном проекте
- •Модели esi и pmi управления рисками
- •Выявление рисков
- •Анализ рисков
- •Расстановка приоритетов для рисков
- •Планирование рисков
- •Исполнение ответных стратегий
- •Оценивание результатов исполнение ответных стратегий
- •Документирование действий по рискам
- •Заключительное оценивание рисков
- •Задания для самопроверки
- •5.Стандарты качества iso в применении к по
- •Структура и принципы семейства стандартов iso 9000
- •Модели iso 9000 на базе процессов
- •Самооценивание по ключевым элементам iso 9000
- •Задания для самопроверки
- •6.Формальные методы в разработке по
- •Инструменты формализации и верификации
- •Взаимодействие функциональностей
- •Интегрированная технология анализа и верификации
- •Задания для самопроверки
- •7.Некоторые общие технологические приемы
- •Инспекции по Фейгану
- •Диаграммы Исикавы («рыбий скелет»)
- •Инструменты
- •Swot-анализ
- •Сбалансированный экран результативности
- •Технологическая дорожная карта
- •Метод Дельфи
- •Деревья решений
- •Сравнительное ранжирование
- •Методология подвижного программирования
- •Принципы подвижного программирования
- •Рабочий цикл и роли участников
- •Рабочие документы и обстановка
- •Задания для самопроверки
- •8.Сертификация программного обеспечения в авиации
- •История создания серии документов do-178 и ed-12
- •Уровни программного обеспечения
- •Процессы жизненного цикла по авиационных систем
- •Цели процессных деятельностей
- •Рабочие документы и категории их контроля
- •Процесс планирования по
- •Процессы разработки по
- •Определение требований
- •Проектирование
- •Кодирование
- •Верификация
- •Конфигурационное управление
- •Обеспечение качества
- •Контакт с органом сертификации
- •Выводы и рекомендации
- •Задания для самопроверки
- •9.Задания для самостоятельной работы
- •Темы, связанные с единым каркасом для разработки по
- •Перечень тем
- •Краткое описание каждой темы
- •Тема 2. Программная архитектура базового инструмента для распределенного управления программными проектами
- •Тема 3. Профили типовых рабочих компонентов для разработки приложений
- •Тема 1. Прототип метрической базы данных для управления разработкой приложений
- •Тема 5. Репозиторий повторно используемых компонентов
- •Тема 6. Сквозной пример для единого каркаса разработки приложений
- •Темы, связанные применением формальных методов перечень тем
- •Тема 1. Сравнительный анализ систем верификации
- •Тема 2. Формализация протоколов связи краткое описание каждой темы
- •Тема 1. Сравнительный анализ систем верификации
- •Тема 2. Формализация протоколов связи
- •10.Литература
- •11.Приложения
- •Шаблон для одностраничного экрана проекта
- •Примерная структура положения о работе и тз
- •Примерная форма еженедельного отчета
- •Примерная форма презентации на ежемесячном операционном обзоре
- •12.Указатель
Процессы разработки по
Табл. 27. Цели процессов разработки
Цель |
Уровень ПО |
Выходной документ |
Категория |
||||||||
Описание |
Раздел док-та |
A |
В |
С |
D |
Описание |
Раздел док-та |
A |
В |
С |
D |
Высокоуровневые требования разработаны |
5.1.1a |
○ |
○ |
○ |
○ |
Данные по треб. к ПО |
11.9 |
1 |
1 |
1 |
1 |
Данн.отслеж. |
11.21 |
1 |
1 |
1 |
1 |
||||||
Производн.ВУ-требования опр-ны и сообщены |
5.1.1b |
○ |
○ |
○ |
○ |
Данные по треб. к ПО |
11.9 |
1 |
1 |
1 |
1 |
Программная архитектура разработана |
5.2.1a |
○ |
○ |
○ |
○ |
Описание проекта |
11.10 |
1 |
1 |
1 |
2 |
Низкоуровнев.требования разработаны |
5.2.1a |
○ |
○ |
○ |
○ |
Описание проекта |
11.10 |
1 |
1 |
1 |
|
Данн.отслеж. |
11.21 |
1 |
1 |
1 |
|
||||||
Производн.НУ-требования опр-ны и сообщены |
5.2.1b |
○ |
○ |
○ |
○ |
Описание проекта |
11.10 |
1 |
1 |
1 |
|
Исходный код разработан |
5.3.1a |
○ |
○ |
○ |
○ |
Исходный код |
11.11 |
1 |
1 |
1 |
|
Данн.отслеж. |
11.21 |
1 |
1 |
1 |
|
||||||
Исполняемый объектн.код и парам.данные получены и загружены в целевой компьютер |
5.4.1a |
○ |
○ |
○ |
○ |
Исполняемый объектный код |
11.12 |
1 |
1 |
1 |
1 |
Данн.отслеж. |
11.21 |
1 |
1 |
1 |
1 |
||||||
Итого: |
7 |
7 |
7 |
4 |
|
|
|
|
|
|
|
Далее рассматриваются частные подпроцессы процесса разработки.
Определение требований
Разрабатывается документ «Спецификация требований ПО» в соответствии с принятыми стандартами для таких документов.
Табл. 28. Цели процессов определения требований к ПО
Цель |
Уровень ПО |
Выходной документ |
Категория |
||||||||
Описание |
Раздел док-та |
A |
В |
С |
D |
Описание |
Раздел док-та |
A |
В |
С |
D |
Высокоуровн.треб-ния ПО соотв-ют системным |
6.3.1a |
● |
● |
○ |
○ |
Рез-ты вери-фикации ПО |
11.14 |
2 |
2 |
2 |
2 |
Высокоуровн. требования точны и непротиворечивы |
6.3.1b |
● |
● |
○ |
○ |
Рез-ты вери-фикации ПО |
11.14 |
2 |
2 |
2 |
2 |
Высокоуровн.тр-я совмес-тимы с целевым комп-ром |
6.3.1c |
○ |
○ |
○ |
○ |
Рез-ты вери-фикации ПО |
11.14 |
2 |
2 |
|
|
Высокоуровн. требования верифицируемы |
6.3.1d |
○ |
○ |
○ |
○ |
Рез-ты вери-фикации ПО |
11.14 |
2 |
2 |
2 |
|
Высокоуровн. требования отвечают стандартам |
6.3.1e |
○ |
○ |
○ |
○ |
Рез-ты вери-фикации ПО |
11.14 |
2 |
2 |
2 |
|
Высокоуровн.треб-я отсле-живаемы к системным |
6.3.1f |
○ |
○ |
○ |
○ |
Рез-ты вери-фикации ПО |
11.14 |
2 |
2 |
2 |
2 |
Алгоритмы точны |
6.3.1g |
● |
● |
○ |
○ |
Рез-ты вери-фикации ПО |
11.14 |
2 |
2 |
2 |
|
Итого: |
7 |
7 |
6 |
3 |
|
|
|
|
|
|
|
Проверяемых независимо: |
3 |
3 |
|
|
|
|
|
|
|
|
|
Результат:
высокоуровневые требования разработаны;
производные высокоуровневые требования переданы процессу определения безопасности системы.