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

• Автор: Налютин, Никита Юрьевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2008
• Место защиты: Москва
• Количество страниц: 226 с. : ил.

СОДЕРЖАНИЕ
СОДЕРЖАНИЕ.
ВВЕДЕНИЕ.

ГЛАВА 1. Современные методы управления конфигурациями при разработке

встроенных программных систем

1.1. Процессы разработки встроенных систем .

1.2. Общая характеристика процесса управления конфигурациями.

1.3. Требования отраслевых и международных стандартов к процессу управления

конфигурациями.

1.3.1 Процессы управления конфигурациями по ГОСТ Р 4.

1.3.2 Процессы управления конфигурациями по 8В.

1.3.3 Процессы управления конфигурациями по 0 0 7.
1.3.4 Процессы управления конфигурациями по А8 В А8 В.
1.3.5 Сравнительная характеристика требований 8В, 0
7 и А8 В
1.4. Компоненты современных систем управления конфигурациями.
1.5. Современные модели процесса управления конфигурациями.
1.6. Цель и задачи диссертационного исследования
ГЛАВА 2. Теоретические аспекты метода управления конфигурациями при разработке
встроенных систем.
2.1. Построение математической модели конфигураций объектов разработки ВС
2.1.1 Основные определения
2.1.2 Структура конфигурации как формальная теория
2.1.3 Древовидные конфжурации как модель формальной теории
2.1.4 Процесс создания конфигурации при помощи правил вывода
2.2. 1 Гостроенне математической модели вычисления состояний объектов
конфигурации.
22.1 Основные определения алгебраической модели вычисления состояний
конфигураций
2.2.2 Вычисление состояний ОК.
2.2.3 Типизация конфигураций
2.3. Эвристический метод оценки степени завершенности конфигурации.
2.4. Выводы по главе.
ГЛАВА 3. Проектирование инструментальных средств управления конфигурациями.
3.1. Реляционная модель обобщенного объекта конфигурации.
3.2. Объект конфигурации как абстрактный класс данных
3.3. Жизненный цикл разработки и сопровождения системы управления
конфигурациями.
3.4. Проектирование и реализация системы БМ8.
3.4.1 Общая характеристика системы ЭМ8
3.4.2 Инструментальные средства реализации
3.4.3 Особенности применения метода вычисления состояний конфигураций в
системе ЭМ8.
3.4.4 Особенности реализации системы ЭМБ
3.5. Выводы по главе
ГЛАВА 4. Экспериментальная проверка и внедрение разработанных методов и
инструментальных средств.
4.1. Экспериментальная проверка эвристического метода оценки степени
завершенности конфигурации СОЕР.
4.2. Внедрение, опытная и промышленная эксплуатация системы на предприятии
ООО ДС БАРС
4.2.1 Методика внедрения и сопровождения системы.
4.2.2 Процесс внедрения
4.2.3 Общая статистика работы системы на предприятии
ООО ДС БАРС.
4.2.4 Общие выводы по внедрению
4.3. Внедрение системы в учебный процесс кафедры кибернетики МИФИ
4.3.1 Цели и задачи внедрения.
4.3.2 Особенности методики внедрения и сопровождения в ходе учебного
процесса.
4.3.3 Результаты внедрения.
4.4. Выводы по главе
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА


Вычисление статусов: задание схем присвоения и изменения статусов (состояний) ОК и их конфигураций. Такие схемы определяют жизненный цикл каждого ОК, например в виде совокупности возможных статусов и правил их изменения. При вычислении статусов могут создаваться общие отчеты о статусе ОК и их конфигураций, используемые при управлении проектом. Аудит и инспекции: проверка завершенности и полноты продукта и поддержание целостности и непротиворечивости связей всех его компонент. Процесс управления конфигурации регламентирует точки жизненного цикла, в которых проводятся аудиты, критерии успешности аудита (критерии, которым должна соответствовать инспектируемая конфигурация) и структуру процесса аудита. Выпуск: управление сборкой и построением окончательной версии продукта оптимальным образом. Для управления сборкой обычно используются индексы конфигураций, в которых перечисляются ОК, необходимые в процессе сборки версии для той или иной целевой платформы. Кроме того, используются правила, но которым выделяются ОК, попадающие в сборку. Управление процессами: контроль соблюдения технологии в рамках проекта и выполнение коррекции процессов разработки в случае их расхождения с принятой технологией. Под технологией здесь понимаются все технологические цепочки, результатом которых являются ОК, правила работы с конфигурациями и модель жизненного цикла. Коллективная работа: управление работой и взаимодействием между множеством пользователей, работающих над продуктом, в том числе управление проектом и распределение задач между исполнителями. При разработке систем различного типа (информационных, встроенных, систем реального времени, систем безопасности) технологические требования могут' различаться и освещать тс или иные аспекты процесса разработки. Тем не менее, обычно внедрение технологии в разработку имеет в качестве цели обеспечение повторяемости результатов и гарантию качества разрабатываемой системы. В этих стандартах определяются критерии качества, специфичные для каждого из этапов жизненного цикла продукции. Основное назначение стандартов качества - определение требований к технологическим процессам, в т. Неизбежные различия в процессах разработки и эксплуатации систем в разных отраслях послужили предпосылкой создания отраслевых стандартов - стандартов, регламентирующих процессы разработки и сертификации систем, предназначенных для узкоспециального использования (авиационные двигатели, системы информационной безопасности), например DO-8B [], NSA DBMS Basic Protection Profile []. Поскольку область применения стандартов качества достаточно широка (от отдельной отрасли до общей применимости), основным объектом их рассмотрения являются не конкретные методики разработки, а общие технологические процессы. Большинство стандартов являются ориентированными на процессы, не зависящие напрямую от конкретного жизненного цикла системы. Для каждого. Для данных жизненного цикла в стандартах представляется описание, которое показывает, что цели удовлетворены. Основной процесс, рассматриваемый стандартами - выпуск продукции. В. случае разработки программных систем этот процесс — разработка программного обеспечения (вне зависимости от жизненного цикла системы). Процесс разработки обычно декомпозируют на более мелкие подпроцессы. Подпроцессы могут быть отнесены к трем категориям: процесс планирования программного обеспечения, процессы разработки программного обеспечения, которые обычно включают разработку требований к программному обеспечению, проектирование программного обеспечения, кодирование и комплексирование программного обеспечения; и процессы обеспечения целостности, которые включают в себя верификацию программного обеспечения, гарантию качества программного обеспечения, управление конфигурациями программного обеспечения и взаимодействие при сертификации. Процессы поддержания'целостности остаются активными в ходе всего жизненного цикла программного обеспечения, в их число входит и процесс управления' конфигурациями. Основная задача данного процесса - обеспечение структурной целостности разрабатываемой системы.