Введение
Глава 1. Анализ современного состояния проблемы разработки и контроля качества ПСОАИ 16
1.1. Общая характеристика ПС ОАИ 16
1.1.1. Назначение и область применения ПС ОАИ 16
1.1.2. Особенности математического обеспечения, используемого при разработке ПСОАИ 18
1.2. Особенности процесса разработки и контроля качества ПС ОАИ 22
1.3. Общие подходы к разработке и контролю качества программных средств 26
1.3.1. Обеспечение качества процессов контсруирования ПС 28
1.3.2. Контроль качества ПС 31
1.4. Постановка задачи повышения эффективности процессов разработки и контроля качества ПС ОАИ 37
Выводы по главе 1 39
Глава 2. Методы и средства разработки ПС ОАИ 40
2.1. Модель ЖЦ ПС ОАИ 40
2.2. Методы и средства организации ЖЦ ПС ОАИ 43
2.2.1. Метод и средства формализации спецификаций ПС ОАИ 43
2.2.2. Методы и средства архитектурного проектирования и реализации ПСОАИ 47
2.3. Метод формализованного описания спецификаций ПМ ОАИ 51
2.4. Метод поиска источника ошибки, выявленной в ПМ, реализующем эвристический алгоритм анализа изображений 56
Выводы по главе 2 62
Глава 3. Методы и средства контроля качества ПС ОАИ 63
3.1. Способ верификации программ, содержащих подпрограммы, массивы и особые операторы 63
3.1.1. Обобщение метода Флойда 63
3.1.1.1. Верификация ПМ, содержащих подпрограммы 63
3.1.1.2. Верификация ПМ, содержащих массивы 68
3.1.1.3. Верификация ПМ, содержащих особые операторы 69
3.1.2. Обобщение метода Хоара 72
3.1.2.1. Верификация ПМ, содержащих подпрограммы 72
3.1.2.2. Верификация ПМ, содержащих массивы 74
3.1.2.3. Верификация ПМ, содержащих особые операторы 74
3.2. Практические рекомендации по организации процесса верификации ПСОАИ 75
3.2.1. Построение спецификций ПМ ОАИ 76
3.2.2. Формирование индуктивных утверждений Флойда 79
3.2.3. Верификация ПМ ОАИ с помощью метода Хоара 83
3.2.4. Доказательство завершаемости ПМ ОАИ 84
3.2.5. Уточнение спецификаций ПМ ОАИ 86
3.3. Верификация ПМ ОАИ, реализующих эвристические алгоритмы 87
3.4. Способ тестирования завершаемости циклических структур ПС ОАИ 89
Выводы по главе 3 92
Глава 4. Разработка и обеспечение качества ПО ОЭСИ объектов подвижного состава железнодорожного транспорта 93
4.1. Общее описание ОЭСИ объектов подвижного состава железнодорожного транспорта ARSCIS 93
4.2. Унифицированная система формализованных спецификаций ПМ ОАИ для системы ARSCIS 96
4.3. Объектно-ориентированная архитектура ПО ARSCIS 102
4.3.1. Статическая модель ПО ARSCIS 104
4.3.2. Динамическая модель ПО ARSCIS 109
4.3.3. Анализ планируемое ПО ARSCIS 112
4.4. Обеспечение качества ПО ARSCIS 116
4.5. Оценка качества ПО ARSCIS 123
Выводы по главе 4 133
Глава 5. Оценка эффективности предложенных методов и средств разработки и контроля качества ПС ОАИ 135
5.1. Описание проектов, в ходе которых оценивалась эффективность предложенных методов и средств разработки и контроля качества ПС ОАИ 135
5.2. Преимущества использования метода формализованного описания спецификаций ПМ ОАИ 138
5.3. Преимущества использования метода поиска источника ошибки в ПМ,
реализующем эвристический алгоритм 141
5.4. Оценка эффективности методов контроля качества ПС ОАИ 144
5.5. Перспективы развития методов разработки и контроля качества ПС ОАИ 147
Выводы по главе 5 147
Заключение 149
Список литературы
