Методы разработки и контроля качества программных средств обработки и анализа изображений

ОГЛАВЛЕНИЕ
Введение
Глава 1. Анализ современного состояния проблемы разработки и контроля качества ПС ОАИ.
1.1. Общая характеристика ПС ОАИ.
1.1.1. Назначение и область применения ПС ОАИ.
1.1.2. Особенности математического обеспечения, используемого при разработке ПС ОАИ.
1.2. Особенности процесса разработки и контроля качества ПС ОАИ
1.3. Общие подходы к разработке и контролю качества программных средств
1.3.1. Обеспечение качества процессов контсруирования ПС
1.3.2. Контроль качества ПС.
1.4. Постановка задачи повышения эффективности процессов разработки и контроля качества ПС ОАИ.
Выводы по главе 1
Глава 2. Методы и средства разработки ПС ОАИ.
2.1. Модель ЖЦ ПС ОАИ
2.2. Мегоды и средства организации ЖЦ ПС ОАИ.
2.2.1. Метод и средства формализации спецификаций ПС ОАИ
2.2.2. Методы и средства архитектурного проектирования и реализации ПС ОАИ.
2.3. Метод формализованного описания спецификаций ПМ ОАИ.
2.4. Метод поиска источника ошибки, выявленной в ПМ, реализующем эвристический алгоритм анализа изображений.
Выводы по главе 2
Глава 3. Методы и средства контроля качества ПС ОАИ
3.1. Способ верификации программ, содержащих подпрограммы, массивы и особые операторы.
3.1.1. Обобщение мегода Флойда
3.1.1.1. Верификация Г1М, содержащих подпрограммы
3.1.1.2. Верификация ПМ, содержащих массивы
3.1.1.3. Верификация ПМ, содержащих особые операторы.
3.1.2. Обобщение мегода Хоара.
3.1.2.1. Верификация ПМ, содержащих подпрограммы.
3.1.2.2. Верификация ПМ, содержащих массивы
3.1.2.3. Верификация ПМ, содержащих особые операторы.
3.2. Практические рекомендации по организации процесса верификации ПС ОАИ
3.2.1. Построение спецификций ПМ ОАИ
3.2.2. Формирование индуктивных утверждений Флойда
3.2.3. Верификация ПМ ОАИ с помощью метода Хоара
3.2.4. Доказательство завершаемости ПМ ОАИ
3.2.5. Уточнение спецификаций ПМ ОАИ
3.3. Верификация ПМ ОАИ, реализующих эвристические алгоритмы
3.4. Способ тестирования завершаемости циклических структур ПС ОАИ
Выводы по главе 3.
Глава 4. Разработка и обеспечение качества ПО ОЭСИ объектов подвижного состава железнодорожного транспорта.
4.1. Общее описание ОЭСИ объектов подвижного состава железнодорожного транспорта I.
4.2. Унифицированная система формализованных спецификаций ПМ ОАИ для системы I
4.3. Объектноориентированная архитектура ПО I
4.3.1. Статическая модель ПО I
4.3.2. Динамическая модель ПО I.
4.3.3. Анализ планируемости ПО I
4.4. Обеспечение качества ПО I
4.5. Оценка качества ПО I.
Выводы по главе 4
Глава 5. Оценка эффективности предложенных методов и средств разработки и контроля качества ПС ОАИ.
5.1. Описание проектов, в ходе которых оценивалась эффекгивность предложенных методов и средств разработки и контроля качесгва ПС ОАИ
5.2. Преимущества использования метода формализованного описания спецификаций ПМ ОАИ
5.3. Преимущества использования метода поиска источника ошибки в ПМ, реализующем эвристический алгоритм.
5.4. Оценка эффективности методов контроля качества ПС ОАИ.
5.5. Перспективы развития методов разработки и контроля качества ПС ОАИ
Выводы по главе 5.
Заключение
Список литературы